• Guillaume Sadegh's avatar
    An algorithm to complement TGBA into SABA. · d659001f
    Guillaume Sadegh authored
    * src/saba/sabacomplementtgba.hh,
    src/saba/sabacomplementtgba.cc: New.  The algorithm.
    * src/saba/Makefile.am: Adjust.
    * src/sabatest/sabacomplementtgba.cc, src/sabatest/Makefile.am,
    src/sabatest/defs.in: New.  Test the algorithm.
    * configure.ac, src/Makefile.am: Adjust to the new directory
To find the state of this project's repository at the time of any of these versions, check out the tags.