Skip to content
  • Alexandre Duret-Lutz's avatar
    simplify: remove an incorrect simplification rule · d741d926
    Alexandre Duret-Lutz authored
    Fortunately was only enabled with the
    ltl_simplifier_options::favor_event_univ option, which cannot yet be
    turned on from the command-line tools.
    
    * src/ltlvisit/simplify.cc, doc/tl/tl.tex: Remove the rule.
    * src/ltltest/eventuniv.test: Adjust.
    * NEWS: Mention the bug.
    d741d926
To find the state of this project's repository at the time of any of these versions, check out the tags.