summaryrefslogtreecommitdiff
path: root/src/preprocessing/preprocessing_pass_registry.cpp
AgeCommit message (Expand)Author
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