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

2019-12-10	Andrew Reynolds	Incorporate rewriting on demand in the evaluator (...	blob \| commitdiff \| raw
2019-07-31	Andrew Reynolds	Add some missing cases in evaluator (#3133)	blob \| commitdiff \| raw \| diff to current
2019-03-26	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2018-11-08	Andres Noetzli	Evaluator: add support for str.code (#2696)	blob \| commitdiff \| raw \| diff to current
2018-09-18	Andres Noetzli	Fix issue with str.idof in evaluator (#2493)	blob \| commitdiff \| raw \| diff to current
2018-08-28	Andres Noetzli	Remove dead code in evaluator (#2389)	blob \| commitdiff \| raw \| diff to current
2018-08-01	Andres Noetzli	Fix wrong evaluation of STRING_STOI (#2252)	blob \| commitdiff \| raw \| diff to current
2018-07-26	Andrew Reynolds	Fix a few issues in the sygus sampler related to evalu...	blob \| commitdiff \| raw \| diff to current
2018-06-26	Andres Noetzli	sygusComp2018: Add evaluator (#2090)	blob \| commitdiff \| raw \| diff to current