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