git.libre-soc.org Git - cvc5.git/history - src/theory/builtin/proof

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2020-10-21	Andrew Reynolds	(proof-new) Fixes for proofs in rewriter (#5307)	blob \| commitdiff \| raw \| diff to current
2020-10-18	Andrew Reynolds	(proof-new) More features for SMT proof post-processor...	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-09-02	Andrew Reynolds	(proof-new) Updates to builtin proof checker (#4962)	blob \| commitdiff \| raw \| diff to current
2020-07-14	Andrew Reynolds	(proof-new) Skeleton proof support in the Rewriter...	blob \| commitdiff \| raw \| diff to current
2020-07-02	Andrew Reynolds	(proof-new) Proof rule checkers run on skolem forms...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-10	Andrew Reynolds	(proof-new) Theory proof step buffer utility (#4580)	blob \| commitdiff \| raw \| diff to current
2020-06-03	Andrew Reynolds	(proof-new) Add builtin proof checker (#4537)	blob \| commitdiff \| raw \| diff to current