Skip to content
  • Alexandre Duret-Lutz's avatar
    * bench/ltl2tgba/Makefile.am, bench/ltl2tgba/README, · a7cf769a
    Alexandre Duret-Lutz authored
    bench/ltl2tgba/algorithms, bench/ltl2tgba/big,
    bench/ltl2tgba/defs.in, bench/ltl2tgba/formulae.ltl,
    bench/ltl2tgba/known, bench/ltl2tgba/parseout.pl,
    bench/ltl2tgba/small: New files.
    * src/tgbatest/ltl2baw.pl: Move ...
    * bench/ltl2tgba/ltl2baw.in: ... here.
    * src/tgbatest/Makefile.am: Adjust.
    * configure.ac: Adjust.
    a7cf769a