-
Thomas Badie authored
* wrap/python/ajax/spot.in: Add the simulation. * wrap/python/ajax/protocol.txt: Add the direct simulation in the automaton simplifications section. * wrap/python/spot.i (simulation_new): Create a function which takes an automaton and a call to the simulation with the good template parameter. * wrap/python/ajax/ltl2tgba.html: Add the direct simulation checkbox.
dfcaed03