git.libre-soc.org Git - cvc5.git/history

2020-08-12	Andrew Reynolds	(proof-new) Improve robustness of CONG rule (#4882)	blob \| commitdiff \| raw
2020-08-12	Andrew Reynolds	(proof-new) Improve interfaces to proof generators...	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-17	Andrew Reynolds	(proof-new) Updates to strings core solver (#4642)	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-28	Alex Ozdemir	Proof Rules and Checker for Arithmetic (#4665)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-16	Andrew Reynolds	(proof-new) Add quantifiers proof checker (#4593)	blob \| commitdiff \| raw \| diff to current
2020-06-03	Haniel Barbosa	(proof-new) Adding rules and proof checker for EUF...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Haniel Barbosa	(proof-new) Adding rules and proof checker for Boolean...	blob \| commitdiff \| raw \| diff to current
2020-06-03	Andrew Reynolds	(proof-new) Add builtin proof checker (#4537)	blob \| commitdiff \| raw \| diff to current
2020-04-20	Andrew Reynolds	Add SCOPE proof rule (#4332)	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Add ProofNode data structure (#4311)	blob \| commitdiff \| raw \| diff to current

RSS Atom