Age | Commit message (Expand) | Author |
---|---|---|
2021-05-09 | Update my email address (scripted) | Florian Franzmann |
2020-01-01 | science/ltl2ba: version 1.2 | Florian Franzmann |
2013-05-23 | science/ltl2ba: new spell, fast translation from LTL formulae to Büchi automata | Florian Franzmann |