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

2020-09-02	Andrew Reynolds	(proof-new) Updates to builtin proof checker (#4962)	blob \| commitdiff \| raw
2020-08-18	Andrew Reynolds	(proof-new) Theory preprocessor proof producing (#4807)	blob \| commitdiff \| raw \| diff to current
2020-08-12	Andrew Reynolds	(proof-new) Witness form proof generator (#4782)	blob \| commitdiff \| raw \| diff to current
2020-07-27	Andrew Reynolds	(proof-new) Proof production for term formula removal...	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-13	Andrew Reynolds	(proof-new) SMT Preprocess proof generator (#4708)	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-05	Andrew Reynolds	(proof-new) Rename ProofSkolemCache to SkolemManager...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Andrew Reynolds	(proof-new) Add builtin proof checker (#4537)	blob \| commitdiff \| raw \| diff to current