aboutsummaryrefslogtreecommitdiff
path: root/math/ltl2ba
Commit message (Expand)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-5/+2
* Repeated words are are hard to to find sometimes.Eitan Adler2012-01-081-1/+1
* Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.Brendan Fabeny2011-05-273-0/+41