git.libre-soc.org Git - cvc5.git/history - src/preprocessing/preprocessing_pass

[cvc5.git] / src / preprocessing / preprocessing_pass_registry.cpp

2020-03-11	Andrew Reynolds	Remove experimental symmetry breaker (#4005)	blob \| commitdiff \| raw
2020-03-06	Andres Noetzli	Remove --apply-to-const preprocessing pass (#3919)	blob \| commitdiff \| raw \| diff to current
2020-02-25	yoni206	bv_to_int preprocessing pass	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	blob \| commitdiff \| raw \| diff to current
2019-10-08	Ying Sheng	Make ackermannization generally applicable rather than...	blob \| commitdiff \| raw \| diff to current
2019-07-30	Haniel Barbosa	Code to activate hoelim preprocessing pass (#3129)	blob \| commitdiff \| raw \| diff to current
2019-07-29	Andrew Reynolds	Support get-abduct smt2 command (#3122)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2019-03-20	Andrew Reynolds	Sygus abduction feature (#2744)	blob \| commitdiff \| raw \| diff to current
2018-10-02	Andres Noetzli	Make registration of preprocessing passes explicit...	blob \| commitdiff \| raw \| diff to current
2018-10-01	Andres Noetzli	Refactor preprocessing pass registration (#2468)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-04-25	yoni206	Refactor bv-to-bool and bool-to-bv preprocessing passes...	blob \| commitdiff \| raw \| diff to current
2017-12-11	justinxu421	Add new infrastructure for preprocessing passes (#1053)	blob \| commitdiff \| raw \| diff to current

RSS Atom