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

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

2020-03-10	Andrew Reynolds	Remove instantiation propagator infrastructure (#3975)	blob \| commitdiff \| raw
2020-02-27	Andrew Reynolds	Initial work towards -Wshadow (#3817)	blob \| commitdiff \| raw \| diff to current
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	blob \| commitdiff \| raw \| diff to current
2020-01-22	Andrew Reynolds	Fix subtyping for instantiations where internal represe...	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-11	Andrew Reynolds	Infrastructure for instantiation rewriter (#3262)	blob \| commitdiff \| raw \| diff to current
2019-08-05	Andrew Reynolds	Remove forward declarations in quantifiers engine ...	blob \| commitdiff \| raw \| diff to current
2019-08-02	Andrew Reynolds	Throw option exception when track inst lemmas is not...	blob \| commitdiff \| raw \| diff to current
2019-05-09	Andrew Reynolds	Fixes for relational triggers (#2967)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-09-17	Andrew Reynolds	Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)	blob \| commitdiff \| raw \| diff to current
2018-09-10	Andrew Reynolds	Squash implementation of counterexample-guided instanti...	blob \| commitdiff \| raw \| diff to current
2018-09-07	Andrew Reynolds	Make isClosedEnumerable a member of TypeNode (#2434)	blob \| commitdiff \| raw \| diff to current
2018-06-25	Aina Niemetz	Updated copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-03-23	Andrew Reynolds	Remove unused code (#1700)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current
2017-11-25	Andrew Reynolds	(Refactor) Instantiate utility (#1387)	blob \| commitdiff \| raw \| diff to current

RSS Atom