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

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-08-19	Andrew Reynolds	Refactor proof output for TPTP (#7029)	blob \| commitdiff \| raw \| diff to current
2021-08-03	Gereon Kremer	Use int64_t, uint64_t or double for all numeric options...	blob \| commitdiff \| raw \| diff to current
2021-05-10	Gereon Kremer	Remove header for option modules (#6514)	blob \| commitdiff \| raw \| diff to current
2021-05-10	Gereon Kremer	Remove read_only from options. (#6513)	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-03-14	Diego Della Rocca...	[proof-new] Adding a dot printer for proof nodes (...	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-02-22	Haniel Barbosa	[proof-new] Optionally print conclusion in the AST...	blob \| commitdiff \| raw \| diff to current
2020-09-01	Haniel Barbosa	Removes old proof code (#4964)	blob \| commitdiff \| raw \| diff to current
2018-03-21	Mathias Preiner	Refactor mkoptions (#1631)	blob \| commitdiff \| raw \| diff to current