aboutsummaryrefslogtreecommitdiffstats
path: root/math/ltl2ba
Commit message (Expand)AuthorAgeFilesLines
* Reset ports maintained by bf@ until he has time again to work on them.rene2016-06-281-1/+1
* Convert tab after WWW: in pkg-descrs to single space as per PHBamdmi32016-05-241-1/+1
* Support stagingehaupt2014-02-211-2/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-5/+2
* Repeated words are are hard to to find sometimes.eadler2012-01-081-1/+1
* Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.bf2011-05-283-0/+41