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

[cvc5.git] / src / proof / sat_proof_implementation.h

2018-08-27	Andres Noetzli	Resolution proof: separate printing from proof (#1964)	blob \| commitdiff \| raw
2018-07-13	Andres Noetzli	Properly clean up assertion stack in CnfProof (#2147)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andres Noetzli	Remove ProofProxy (#1965)	blob \| commitdiff \| raw \| diff to current
2017-08-24	Andrew Reynolds	Merge pull request #191 from timothy-king/cleanup-regexp	blob \| commitdiff \| raw \| diff to current
2017-08-09	Andres Noetzli	Fix compiler warning in sat_proof_implementation	blob \| commitdiff \| raw \| diff to current
2017-07-07	Mathias Preiner	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-06-30	Andres Nötzli	Fix use-after-free with unsat cores/proofs (#174)	blob \| commitdiff \| raw \| diff to current
2017-06-21	Andrew Reynolds	Merge pull request #175 from CVC4/fix_uninit	blob \| commitdiff \| raw \| diff to current
2017-06-16	Clark Barrett	Merge pull request #170 from CVC4/fix_2_6_parser3	blob \| commitdiff \| raw \| diff to current
2017-06-16	Andres Nötzli	Fix segfault by making unit conflict CDMaybe	blob \| commitdiff \| raw \| diff to current
2017-05-28	Clark Barrett	Merge pull request #164 from CVC4/fix_comp	blob \| commitdiff \| raw \| diff to current
2017-05-26	Andres Noetzli	Fix use-after-free with ResChains	blob \| commitdiff \| raw \| diff to current
2017-03-23	guykatzz	support incremental unsat cores	blob \| commitdiff \| raw \| diff to current
2016-08-24	PaulMeng	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2016-08-09	guykatzz	Merge pull request #89 from 4tXJ7f/fix_proof_spaces	blob \| commitdiff \| raw \| diff to current
2016-08-09	Andres Notzli	Fix missing/redundant spaces in proofs	blob \| commitdiff \| raw \| diff to current
2016-08-03	Guy	Fixed an issue where arrays proofs would sometimes...	blob \| commitdiff \| raw \| diff to current
2016-07-26	Guy	Added functionality to retrieve a lemma's "weakest...	blob \| commitdiff \| raw \| diff to current
2016-07-20	Guy	Allow a caller to query whether an unsat core is availa...	blob \| commitdiff \| raw \| diff to current
2016-07-05	PaulMeng	Merge branch 'master' of https://github.com/CVC4/CVC4.git	blob \| commitdiff \| raw \| diff to current
2016-06-06	guykatzz	Merge pull request #85 from CVC4/master_for_proof_merge	blob \| commitdiff \| raw \| diff to current
2016-06-02	Guy	Merge from proof branch	blob \| commitdiff \| raw \| diff to current
2016-06-02	Guy	Revert "Merging proof branch"	blob \| commitdiff \| raw \| diff to current
2016-06-02	Guy	Merging proof branch	blob \| commitdiff \| raw \| diff to current
2016-04-30	Liana Hadarean	Reviewed Tim's Asan changes and improved SatProof comments.	blob \| commitdiff \| raw \| diff to current
2016-04-26	Tim King	Fixing memory leaks for garbage collection of ResChains...	blob \| commitdiff \| raw \| diff to current
2016-04-20	PaulMeng	update from the master	blob \| commitdiff \| raw \| diff to current
2016-04-09	Guy	Merge branch 'master' of https://github.com/CVC4/CVC4	blob \| commitdiff \| raw \| diff to current
2016-04-04	Tim King	Updating the copyright headers and scripts.	blob \| commitdiff \| raw \| diff to current
2016-03-23	guykatzz	Merge pull request #82 from CVC4/master_for_merge	blob \| commitdiff \| raw \| diff to current
2016-03-23	Guy	squash-merge from proof branch	blob \| commitdiff \| raw \| diff to current
2016-02-24	Tim King	Unifying the definitions of ClauseId to a single source...	blob \| commitdiff \| raw \| diff to current
2016-01-27	Liana Hadarean	Merged bit-vector and uf proof branch.	blob \| commitdiff \| raw \| diff to current

RSS Atom