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

2021-07-27	Mathias Preiner	proof: Add eqrange expansion rule. (#6936)	blob \| commitdiff \| raw
2021-07-27	Andrew Reynolds	Track instantiation reasons in proofs (#6935)	blob \| commitdiff \| raw \| diff to current
2021-07-27	Andrew Reynolds	Add basic LFSC utilities (#6879)	blob \| commitdiff \| raw \| diff to current
2021-07-26	Andrew Reynolds	Enable default equality proofs for sets (#6931)	blob \| commitdiff \| raw \| diff to current
2021-07-15	Andrew Reynolds	Distinguish quantifiers preprocess as its own proof...	blob \| commitdiff \| raw \| diff to current
2021-07-13	Mathias Preiner	bv: Simplify BV_BITBLAST_* proof rules. (#6871)	blob \| commitdiff \| raw \| diff to current
2021-06-21	Haniel Barbosa	[proof] Fix documentation of array rule (#6770)	blob \| commitdiff \| raw \| diff to current
2021-06-07	Andrew Reynolds	(proof-new) Fix missing connection in trust substitutio...	blob \| commitdiff \| raw \| diff to current
2021-05-24	Andrew Reynolds	Move proof utilities to src/proof/ (#6611)	blob \| commitdiff \| raw \| diff to current