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

2020-11-23	Andrew Reynolds	Change UF ho to ppRewrite instead of expand definition...	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-09-02	Andrew Reynolds	(proof-new) Add proof support in TheoryUF (#5002)	blob \| commitdiff \| raw \| diff to current
2020-08-27	Andrew Reynolds	(new theory) Update TheoryUF to new interface (#4944)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-11-04	Andrew Reynolds	Fix ho extensionality in collect model info (#3435)	blob \| commitdiff \| raw \| diff to current
2019-10-27	Andrew Reynolds	Fix collect model info for higher-order (#3409)	blob \| commitdiff \| raw \| diff to current
2019-09-13	Andrew Reynolds	Move higher-order matching predicate (#3280)	blob \| commitdiff \| raw \| diff to current
2019-07-01	Andrew Reynolds	Split higher-order UF solver (#2890)	blob \| commitdiff \| raw \| diff to current