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

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

2020-10-19	Andrew Reynolds	(proof-new) Update preprocessing pass context for proof...	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-17	Aina Niemetz	SmtEngine: Convert members owned by SmtEngine to unique...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andres Noetzli	Make substitution index context-independent (#2474)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-09-15	Andres Noetzli	Refactor how assertions are added to decision engine...	blob \| commitdiff \| raw \| diff to current
2018-09-11	Aina Niemetz	Refactor non-clausal simplify preprocessing pass. ...	blob \| commitdiff \| raw \| diff to current
2018-08-29	Mathias Preiner	Refactor MipLibTrick preprocessing pass. (#2359)	blob \| commitdiff \| raw \| diff to current
2018-08-17	Andres Noetzli	Refactor IteRemoval preprocessing pass (#1793)	blob \| commitdiff \| raw \| diff to current
2018-07-02	Aina Niemetz	Refactor ApplySubsts preprocessing pass. (#2120)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-08	Mathias Preiner	Refactor bv-abstraction preprocessing pass. (#1860)	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