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

[cvc5.git] / src / smt / proof_manager.cpp

2021-09-07	Andrew Reynolds	Refactoring of proof manager initialization (#7073)	blob \| commitdiff \| raw
2021-09-02	Andrew Reynolds	Implement lazy proof checking modes (#7106)	blob \| commitdiff \| raw \| diff to current
2021-09-01	Andrew Reynolds	Lazy proof reconstruction for strings theory solver...	blob \| commitdiff \| raw \| diff to current
2021-08-30	Gereon Kremer	Refactor filename handling (#7088)	blob \| commitdiff \| raw \| diff to current
2021-08-26	Andrew Reynolds	Dump models for isNotEntailed results (#7071)	blob \| commitdiff \| raw \| diff to current
2021-08-19	Andrew Reynolds	Refactor proof output for TPTP (#7029)	blob \| commitdiff \| raw \| diff to current
2021-07-13	Mathias Preiner	bv: Expand bitblast proof steps in the proof post proce...	blob \| commitdiff \| raw \| diff to current
2021-06-28	Haniel Barbosa	[proof] [dot] Make dot printer stateful (#6799)	blob \| commitdiff \| raw \| diff to current
2021-06-02	Andrew Reynolds	Fix unsat core proofs (#6655)	blob \| commitdiff \| raw \| diff to current
2021-05-24	Andrew Reynolds	Move proof utilities to src/proof/ (#6611)	blob \| commitdiff \| raw \| diff to current
2021-05-21	Andrew Reynolds	(proof-new) Minor documentation sync (#6592)	blob \| commitdiff \| raw \| diff to current
2021-04-30	Andrew Reynolds	Use substitutions for implementing defined functions...	blob \| commitdiff \| raw \| diff to current
2021-04-22	Haniel Barbosa	Reconciling proofs and unsat cores (#6405)	blob \| commitdiff \| raw \| diff to current
2021-04-14	Haniel Barbosa	[unsat-cores] Improving new unsat cores (#6356)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-09	Haniel Barbosa	[proof-new] Optimizing sat proof (#6324)	blob \| commitdiff \| raw \| diff to current
2021-04-07	Haniel Barbosa	[proof-new] Fixing SMT post-processor's handling of...	blob \| commitdiff \| raw \| diff to current
2021-04-07	Andrew Reynolds	(proof-new) Proper implementation of proof node cloning...	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-14	Diego Della Rocca...	[proof-new] Adding a dot printer for proof nodes (...	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-03-03	Gereon Kremer	More cleanup of includes to reduce compilation times...	blob \| commitdiff \| raw \| diff to current
2021-02-22	Andrew Reynolds	(proof-new) Change proof-new option to proof (#5955)	blob \| commitdiff \| raw \| diff to current
2021-01-22	Haniel Barbosa	[proof-new] Expanding MACRO_RESOLUTION in post-processi...	blob \| commitdiff \| raw \| diff to current
2021-01-08	Haniel Barbosa	[proof-new] Implementing getProof in the API and SMT...	blob \| commitdiff \| raw \| diff to current
2020-12-10	Gereon Kremer	Fixed a bunch of clang warnings. (#5637)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Andrew Reynolds	(proof-new) Updates to SMT proof manager and SmtEngine...	blob \| commitdiff \| raw \| diff to current
2020-10-14	Andrew Reynolds	(proof-new) Generalize preprocess proof generator ...	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-09-12	Andrew Reynolds	(proof-new) Add SMT proof manager (#5054)	blob \| commitdiff \| raw \| diff to current

RSS Atom