summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/extended_rewrite.cpp
AgeCommit message (Expand)Author
2018-12-15Revert "Move ss-combine rewrite to extended rewriter (#2703)" (#2759)Andres Noetzli
2018-12-14 Fix extended rewriter for binary associative operators. (#2751)Andrew Reynolds
2018-11-21Move ss-combine rewrite to extended rewriter (#2703)Andres Noetzli
2018-09-28Rewrites for (= "" _) and (= (str.replace _) _) (#2546)Andres Noetzli
2018-09-25Fix warnings uncovered by cmake build (#2521)Andrew Reynolds
2018-09-24Refactor strings equality rewriting (#2513)Andrew Reynolds
2018-09-05 More extended rewrites for strings equality (#2431)Andrew Reynolds
2018-09-05 Extended rewriter for string equalities (#2427)Andrew Reynolds
2018-08-27Refactor extended rewriter, move rewrites to aggressive (#2387)Andrew Reynolds
2018-07-06 sygusComp2018: improve extended rewriter for Bool (#2107)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-10Sygus repair constants (#1812)Andrew Reynolds
2018-04-27Core improvements to extended rewriter (#1820)Andrew Reynolds
2018-04-25Equality resolution in the extended rewriter (#1811)Andrew Reynolds
2018-04-02Improvements to extended rewriter for Booleans and ITE (#1705)Andrew Reynolds
2018-02-12Option to use extended rewriter as a preprocessing pass (#1600)Andrew Reynolds
2018-01-28Sort children of all commutative operators for sygus. (#1544)Andrew Reynolds
2018-01-02Improve rewriter for string equality (#1427)Andrew Reynolds
2017-11-16(Refactor) Arithmetic monomial sum (#1381)Andrew Reynolds
2017-11-14(Refactor) Split sygus term db (#1335)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback