• Alexandre Duret-Lutz's avatar
    Generalize implication-based simplifications for multops. · df109869
    Alexandre Duret-Lutz authored
    And also speedup implication checks for Boolean expressions.
    * src/ltlvisit/simplify.cc: Improve implication-based rules
    rules for multops by checking one operand against all the
    other at once (instead of one by one).  Do not break
    Boolean expressions while performing implication checks.
    * src/ltlvisit/simplify.hh: Typo.
    * src/ltltest/reduccmp.test: More tests.