Commit graph

4 commits

Author SHA1 Message Date
Rene Ladan
a01b22a052 Reset ports maintained by bf@ until he has time again to work on them.
PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
2016-06-27 21:30:34 +00:00
Emanuel Haupt
3d148e3d61 Support staging 2014-02-21 10:26:27 +00:00
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
Brendan Fabeny
dc711f5047 Add ltl2ba 1.1, fast translation from LTL formulae to Buechi automata. 2011-05-27 18:11:32 +00:00