Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    * src/tgbatest/ltl2tgba.cc (syntax): Recognize "-" as input · 2c10510e
    Alexandre Duret-Lutz authored 
    filename for the formula.  Merge the transitions of automata
read with -X.
* src/tgbatest/spotlbtt.test: Add many disabled algorithms.
It is convenient to reuse the `config' file created by this
test when making statistics.
* src/tgbatest/ltl2baw.pl: New file.
* src/tgbatest/Makefile.am (EXTRA_DIST): Add ltl2baw.pl.
    2c10510e
To find the state of this project's repository at the time of any of these versions, check out the tags.