git.libre-soc.org Git - cvc5.git/history - src/theory/uf/eq

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-09-16	Haniel Barbosa	[proof-new] Extending eqproof conversion to HO congruen...	blob \| commitdiff \| raw \| diff to current
2020-09-01	Haniel Barbosa	Removes old proof code (#4964)	blob \| commitdiff \| raw \| diff to current
2020-08-13	Haniel Barbosa	[proof-new] Adding support for corner case of transitiv...	blob \| commitdiff \| raw \| diff to current
2020-08-12	Haniel Barbosa	generalize handling MERGED_THROUGH_CONSTANST in EqProof...	blob \| commitdiff \| raw \| diff to current
2020-07-17	Haniel Barbosa	Fix EqProof to ProofNode conversion (#4760)	blob \| commitdiff \| raw \| diff to current
2020-07-16	Haniel Barbosa	(proof-new) Implements the conversion between EqProof...	blob \| commitdiff \| raw \| diff to current
2020-07-16	Haniel Barbosa	(proof-new) Adding API for converting EqProof into...	blob \| commitdiff \| raw \| diff to current