Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltlsynt: replace -x minimization-lvl=N by --simplify · 0ac5bbc0
    Alexandre Duret-Lutz authored 
    * bin/ltlsynt.cc: Implement the new option, and make it default
to bisimulation with output assignment (a.k.a. bwoa).
* NEWS, bin/spot-x.cc, doc/org/ltlsynt.org: Update the documentation.
* spot/twaalgos/game.hh: Make bwoa the default.
* tests/core/ltlsynt.test: Add and adjust test cases.
* tests/python/games.ipynb: Adjust.
    0ac5bbc0
To find the state of this project's repository at the time of any of these versions, check out the tags.