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

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

2021-09-07	Andrew Reynolds	Refactoring of proof manager initialization (#7073)	blob \| commitdiff \| raw
2021-08-19	Andrew Reynolds	Refactor proof output for TPTP (#7029)	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	Aina Niemetz	Rename public and private headers in src/include. ...	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	Aina Niemetz	Rename CVC4__ header guards to CVC5__. (#6326)	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-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-01-08	Haniel Barbosa	[proof-new] Implementing getProof in the API and SMT...	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-11-30	Andrew Reynolds	Remove includes for old API from internal code (#5536)	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