-
Alexandre Duret-Lutz authored
* wrap/python/spot.i: Add wrapper the new TA algorithms. * wrap/python/ajax/ltl2tgba.html: Add a testing automaton tab. * wrap/python/ajax/protocol.txt, wrap/python/ajax/spot.in: Support it.
27a2de33
* wrap/python/spot.i: Add wrapper the new TA algorithms. * wrap/python/ajax/ltl2tgba.html: Add a testing automaton tab. * wrap/python/ajax/protocol.txt, wrap/python/ajax/spot.in: Support it.