• Alexandre Duret-Lutz's avatar
    Fix usage of minimize_obligation in the CGI script. · 74f14567
    Alexandre Duret-Lutz authored
    * wrap/python/cgi-bin/ltl2tgba.py (reduce_wdba): Use
    minimize_obligation_new a pass the formula.
    * wrap/python/spot.i (minimize_obligation_new): New function, to
    cope with the strange specification of spot::minimize_obligation()
    not always creating a new automaton.
To find the state of this project's repository at the time of any of these versions, check out the tags.
ChangeLog 339 KB