• Denis Poitrenaud's avatar
    * src/tgbaalgos/se05.hh, src/tgbaalgos/tau03.hh: Typo. · 121d5824
    Denis Poitrenaud authored
    * src/tgbaalgos/tau03.cc: Suppress optimisations, the algorithm is now
    the original one.
    * src/tgbaalgos/tau03opt.hh, src/tgbaalgos/tau03opt.cc: New files
    implementing most of all the optimisations of tau03.
    * src/tgbaalgos/Makefile.am: Add them.
    * src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Make them public.
    * src/tgbatest/tba_samples_from_spin.test: Test them.
To find the state of this project's repository at the time of any of these versions, check out the tags.