Clone this repo:
  1. 8f47022 Find non-overlapping extracts of variables and replace them with fresh variables. by Trevor Hansen · 7 days ago master
  2. f13edd1 Changes to how domain information about bit-vector nodes is stored. by Trevor Hansen · 8 days ago
  3. 172ffac * Add extra command line flag to disable all simplifications that increase sizes. by Trevor Hansen · 9 days ago
  4. 9330d83 provide the option to use the old bad names for cli flags. by Trevor Hansen · 10 days ago
  5. f4d4944 user visible. remove underscores from command line flags. by Trevor Hansen · 10 days ago
  6. 7a1abff mark some rules as specualitive, so we have control when to apply them. by Trevor Hansen · 10 days ago
  7. 73a8cf1 Wasn't respecting the disable-equalities command-line flag. by Trevor Hansen · 10 days ago
  8. af48256 improved flattening. by Trevor Hansen · 11 days ago
  9. 92a8067 nicer flatten by Trevor Hansen · 11 days ago
  10. a3121b9 refactor. Split class apart by Trevor Hansen · 12 days ago
  11. e9a0823 Simplify bvplus with >2 children. by Trevor Hansen · 12 days ago
  12. 981ae60 Extra simplification for bvmult. by Trevor Hansen · 12 days ago
  13. b4347a8 Better counting of missing simplifications rules in propagate equalities. by Trevor Hansen · 12 days ago
  14. b8b18c9 check for unimplemented rules in propagate equalities. by Trevor Hansen · 13 days ago
  15. 6072dc2 fix typo by Trevor Hansen · 13 days ago
  16. 09c5021 enable speculative simplifications on bvnot by Trevor Hansen · 14 days ago
  17. 0e4ac06 cbitp both ways at start of simplifying. by Trevor Hansen · 14 days ago
  18. e29a1b6 Ability to just accept just speculative simplifications that map to constants by Trevor Hansen · 14 days ago
  19. 6e8ee8c Faster propagate equalities by Trevor Hansen · 14 days ago
  20. 66824b8 fix memory out on some deeply nested problems. by Trevor Hansen · 2 weeks ago