3 commits

Author	SHA1	Message	Date
Baptiste Daroussin	ce5e457020	Add NO_STAGE all over the place in preparation for the staging support (cat: math)	2013-09-20 20:55:04 +00:00
Eitan Adler	c5d811a37d	Repeated words are are hard to to find sometimes. ... Approved by: portmgr (itetcu)	2012-01-08 07:01:25 +00:00
Brendan Fabeny	dc711f5047	Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata.	2011-05-27 18:11:32 +00:00