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

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

2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw
2021-03-02	Gereon Kremer	Clean up includes to reduce compile times (#6031)	blob \| commitdiff \| raw \| diff to current
2021-02-22	Andrew Reynolds	Move quantifiers attributes to quantifiers registry...	blob \| commitdiff \| raw \| diff to current
2021-02-18	Andrew Reynolds	Eliminate non-static members in term util (#5919)	blob \| commitdiff \| raw \| diff to current
2021-02-17	Andrew Reynolds	Move methods from term util to quantifiers registry...	blob \| commitdiff \| raw \| diff to current
2021-01-26	Andrew Reynolds	Introduce quantifiers inference manager (#5821)	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-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-14	Andrew Reynolds	Fix relevant domain computation for nested quantifiers...	blob \| commitdiff \| raw \| diff to current
2019-09-16	Andrew Reynolds	Move specific attributes out of term util (#3279)	blob \| commitdiff \| raw \| diff to current
2019-09-16	Andrew Reynolds	Move virtual term substitution utilities to own file...	blob \| commitdiff \| raw \| diff to current
2019-09-13	Andrew Reynolds	Move higher-order matching predicate (#3280)	blob \| commitdiff \| raw \| diff to current
2019-09-12	Andrew Reynolds	Update to standard implementation of contains term...	blob \| commitdiff \| raw \| diff to current
2019-09-04	Andrew Reynolds	Move getCounterexampleLiteral out of term utilities...	blob \| commitdiff \| raw \| diff to current
2019-08-14	Andrew Reynolds	Update to standard implementation of getting free...	blob \| commitdiff \| raw \| diff to current
2019-04-24	Mathias Preiner	Do not use __ prefix for header guards. (#2974)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-12-14	Andrew Reynolds	Fix extended rewriter for binary associative operators...	blob \| commitdiff \| raw \| diff to current
2018-09-11	Andrew Reynolds	Support model cores via option --produce-model-cores...	blob \| commitdiff \| raw \| diff to current
2018-08-28	Andrew Reynolds	Split term canonize utility to own file and document...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw \| diff to current
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