summaryrefslogtreecommitdiff
path: root/src/preprocessing/preprocessing_pass_registry.cpp
AgeCommit message (Expand)Author
2021-07-06Integrate learned rewrite preprocessing pass (#6840)Andrew Reynolds
2021-04-19Fully incorporate quantifiers macros into ppAssert / non-clausal simplificati...Andrew Reynolds
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-01-15Implement --no-strings-lazy-pp as a preprocessing pass (#5777)Andrew Reynolds
2021-01-06strings arith checks preprocessing pass: step 1 (#5747)yoni206
2020-12-22Make theory preprocess rewrite equalities a preprocessing pass (#5711)Andrew Reynolds
2020-09-24 Function definition fmf preprocessing pass (#5064)Andrew Reynolds
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-06-16Update copyright headers.Aina Niemetz
2020-03-11Remove experimental symmetry breaker (#4005)Andrew Reynolds
2020-03-05Remove --apply-to-const preprocessing pass (#3919)Andres Noetzli
2020-02-24bv_to_int preprocessing passyoni206
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-08Make ackermannization generally applicable rather than just BV (#3315)Ying Sheng
2019-07-30Code to activate hoelim preprocessing pass (#3129)Haniel Barbosa
2019-07-29Support get-abduct smt2 command (#3122)Andrew Reynolds
2019-03-26Update copyright headers.Aina Niemetz
2019-03-19Sygus abduction feature (#2744)Andrew Reynolds
2018-10-02Make registration of preprocessing passes explicit (#2564)Andres Noetzli
2018-10-01Refactor preprocessing pass registration (#2468)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-04-25Refactor bv-to-bool and bool-to-bv preprocessing passes (#1788)yoni206
2017-12-10Add new infrastructure for preprocessing passes (#1053)justinxu421
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback