aboutsummaryrefslogtreecommitdiff
path: root/math/ltl2ba
Commit message (Expand)AuthorAgeFilesLines
* Reset ports maintained by bf@ until he has time again to work on them.Rene Ladan2016-06-271-1/+1
* Convert tab after WWW: in pkg-descrs to single space as per PHBDmitry Marakasov2016-05-231-1/+1
* Support stagingEmanuel Haupt2014-02-211-2/+1
* 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