• Alexandre Duret-Lutz's avatar
    Preliminary support for monitors. · cc8dd49d
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (-M): New option for building
    deterministic monitors.
    * src/tgbaalgos/minimize.cc (minimize): Take a monitor
    argument and adjust the code.
    * src/tgbaalgos/minimize.hh (minimize): Document it.
To find the state of this project's repository at the time of any of these versions, check out the tags.