-
Thomas Martinez authored
* src/ltlvisit/lunabbrev.cc (spot): Nothing change. * src/tgbatest/ltl2tgba.cc (main): More option to reduce formula. * src/tgbatest/spotlbtt.test: One more test.
9db2b314
To find the state of this project's repository at the time of any of these versions, check out the tags.