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

2021-02-12	Andrew Reynolds	Simplify and fix decision engine's handling of skolem...	blob \| commitdiff \| raw
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-10-19	Andrew Reynolds	(proof-new) Updates to assertions pipeline and preproce...	blob \| commitdiff \| raw \| diff to current
2020-10-01	Andrew Reynolds	(proof-new) Preprocessing passes use proper interfaces...	blob \| commitdiff \| raw \| diff to current
2020-09-29	Andrew Reynolds	(proof-new) Fixes for preprocess proof generator and...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-07-18	Andrew Reynolds	(proof-new) Proof recording for assertions pipeline...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	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-10-31	Andres Noetzli	Record assumption info in AssertionPipeline (#2678)	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