Alexandre Duret-Lutz authored
(reduce_options): ... this, and use it as a bit field so option can be combined easily. (reduce): Adjust argument. (reduce_form): Remove, not needed anymore. * src/ltlvisit/reducform.cc, src/ltltest/reduc.cc, src/tgbatest/ltl2tgba.cc: Adjust.8f82f1d5
To find the state of this project's repository at the time of any of these versions, check out the tags.