-
Alexandre Duret-Lutz authored
* src/ltlvisit/basicreduce.cc: Perform the following reductions: (a R b) | Gb = a R b (a M b) | Gb = a R b (a U b) & Fb = a U b (a W b) & Fb = a U b * src/ltltest/reduccmp.test: Test them.
28094c87
To find the state of this project's repository at the time of any of these versions, check out the tags.