git.libre-soc.org Git - cvc5.git/history - src/theory/quantifiers/term

[cvc5.git] / src / theory / quantifiers / term_util.h

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2018-04-27	Andrew Reynolds	Core improvements to extended rewriter (#1820)	blob \| commitdiff \| raw \| diff to current
2018-04-16	Andrew Reynolds	Skolemize candidate rewrite rule checks (#1777)	blob \| commitdiff \| raw \| diff to current
2018-04-10	Andrew Reynolds	Fix hasSubterm calls for higher-order (#1760)	blob \| commitdiff \| raw \| diff to current
2018-04-03	Andrew Reynolds	Improvements to extended rewriter for Booleans and...	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Remove unused code (#1700)	blob \| commitdiff \| raw \| diff to current
2018-03-05	Mathias Preiner	Enable -Wsuggest-override by default. (#1643)	blob \| commitdiff \| raw \| diff to current
2017-11-28	Andrew Reynolds	Improve trigger filter instances (#1402)	blob \| commitdiff \| raw \| diff to current
2017-11-25	Andrew Reynolds	(Refactor) Instantiate utility (#1387)	blob \| commitdiff \| raw \| diff to current
2017-11-22	Andrew Reynolds	Sygus Lambda Grammars (#1390)	blob \| commitdiff \| raw \| diff to current
2017-11-14	Andrew Reynolds	(Refactor) Split sygus term db (#1335)	blob \| commitdiff \| raw \| diff to current
2017-11-01	Andrew Reynolds	(Refactor) Split term util (#1303)	blob \| commitdiff \| raw \| diff to current
2017-10-28	Andrew Reynolds	Document term db (#1220)	blob \| commitdiff \| raw \| diff to current
2017-10-20	Andrew Reynolds	Make Sygus conjectures higher-order (#1244)	blob \| commitdiff \| raw \| diff to current
2017-10-10	Andrew Reynolds	Split term database (#1206)	blob \| commitdiff \| raw \| diff to current

RSS Atom