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

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

2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw
2020-08-26	Andrew Reynolds	Replace Expr-level datatype with Node-level DType ...	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
2020-03-25	Andrew Reynolds	Generalize more uses of string-specific functions...	blob \| commitdiff \| raw \| diff to current
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	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-23	Andrew Reynolds	Minor update to term util (#3208)	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-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-18	Andrew Reynolds	Improvements and fixes for symmetry detection and break...	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-08-16	Andres Noetzli	Move node algorithms to separate file (#2311)	blob \| commitdiff \| raw \| diff to current
2018-07-23	Andrew Reynolds	Generalize symmetry detection for 1 symmetry variable...	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	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-25	yoni206	Refactor bv-to-bool and bool-to-bv preprocessing passes...	blob \| commitdiff \| raw \| diff to current
2018-04-20	PaulMeng	Symmetry detection module (#1749)	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-15	Andrew Reynolds	Fix mk type const (#1776)	blob \| commitdiff \| raw \| diff to current
2018-04-13	Andrew Reynolds	Fix alpha equivalence for higher-order (#1769)	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
2017-11-28	Andrew Reynolds	Improve trigger filter instances (#1402)	blob \| commitdiff \| raw \| diff to current
2017-11-25	Andrew Reynolds	Fixes for higher-order (#1405)	blob \| commitdiff \| raw \| diff to current
2017-11-16	Andrew Reynolds	(Refactor) Arithmetic monomial sum (#1381)	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-10	Andrew Reynolds	Split term database (#1206)	blob \| commitdiff \| raw \| diff to current

RSS Atom