Age | Commit message (Expand) | Author |
---|---|---|
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 |
index : smgl/grimoire.git | ||
test grimoire | SMGL |
summaryrefslogtreecommitdiffstats |
Age | Commit message (Expand) | Author |
---|---|---|
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 |