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

2020-10-19	Haniel Barbosa	[proof-new] Fixing resolution proof checker (#5262)	blob \| commitdiff \| raw
2020-10-13	Andrew Reynolds	(proof-new) New rules for Booleans (#5243)	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-16	Haniel Barbosa	[proof-new] Resolution rules and checkers (#5070)	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-06-16	Aina Niemetz	Update copyright headers.	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