1. 2846b68 ART: General-case negation in boolean simplifier by David Brazdil · 9 years ago
  2. cbaf496 ART: Don't fail on unsupported conditions in boolean simplifier by Andreas Gampe · 9 years ago
  3. 8d5b8b2 ART: Force constants into the entry block by David Brazdil · 9 years ago
  4. b2bd1c5 ART: Formatting and comments in BooleanSimplifier by David Brazdil · 9 years ago
  5. 46e2a39 ART: Boolean simplifier by David Brazdil · 9 years ago