Skip to content
  • Thomas Badie's avatar
    Add the simulation in the Spot web interface. · dfcaed03
    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