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

2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2019-12-16	Andrew Reynolds	Use the evaluator utility in the function definition...	blob \| commitdiff \| raw \| diff to current
2019-11-27	Haniel Barbosa	Enable sygusRecFun by default and fixes SyGuS+RecFun...	blob \| commitdiff \| raw \| diff to current
2019-11-21	Haniel Barbosa	hard limit for rec-fun eval (#3485)	blob \| commitdiff \| raw \| diff to current
2019-11-20	Haniel Barbosa	Lazy evaluation via rec-funs of ITE expressions (...	blob \| commitdiff \| raw \| diff to current
2019-11-10	Andrew Reynolds	Fix bugs related to sygus higher-order + recursive...	blob \| commitdiff \| raw \| diff to current
2019-11-06	Andrew Reynolds	Support for SyGuS PBE + recursive functions (#3433)	blob \| commitdiff \| raw \| diff to current