• 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.
    121d5824
Makefile.am 1.85 KB