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

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

2020-07-07	Andrew Reynolds	Transfer ownership of internal Options from NodeManager...	blob \| commitdiff \| raw
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
2020-03-10	Aina Niemetz	Fix issue with reset-assertions. (#3988)	blob \| commitdiff \| raw \| diff to current
2020-03-05	Aina Niemetz	Move ownership of DecisionEngine into PropEngine. ...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Aina Niemetz	Revert "Move ownership of DecisionEngine into PropEngin...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Andrew Reynolds	Move ownership of DecisionEngine into PropEngine. ...	blob \| commitdiff \| raw \| diff to current
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	blob \| commitdiff \| raw \| diff to current
2019-09-27	Andres Noetzli	Make substitution index context-independent (#2474)	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	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-26	Andres Noetzli	Refactor unconstrained simplification pass (#2374)	blob \| commitdiff \| raw \| diff to current
2018-08-23	Aina Niemetz	Refactor ITE simplification preprocessing pass. (#2360)	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
2018-04-19	Andres Noetzli	Refactor pbRewrites preprocessing pass (#1767)	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