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

2020-08-26	Andrew Reynolds	Replace Expr-level datatype with Node-level DType ...	blob \| commitdiff \| raw
2020-07-14	Andrew Reynolds	Remove sygus print callback (#4727)	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-13	Andrew Reynolds	Move sygus datatype utility functions to their own...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Andrew Reynolds	Add sygus datatype substitution utility method (#4390)	blob \| commitdiff \| raw \| diff to current
2020-06-04	Andrew Reynolds	Fix abduction with datatypes (#4566)	blob \| commitdiff \| raw \| diff to current
2019-12-12	Andrew Reynolds	Use the node-level datatypes API (#3556)	blob \| commitdiff \| raw \| diff to current
2019-11-18	Andrew Reynolds	Use standard sygus interface for abduction and rewrite...	blob \| commitdiff \| raw \| diff to current
2019-10-14	Andrew Reynolds	Support UF in default sygus grammars (#3319)	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-08-28	Andrew Reynolds	Fixes for get-abduct (#3229)	blob \| commitdiff \| raw \| diff to current
2019-08-13	Andrew Reynolds	Track sygus variable to term relationship via attribut...	blob \| commitdiff \| raw \| diff to current
2019-07-29	Andrew Reynolds	Support get-abduct smt2 command (#3122)	blob \| commitdiff \| raw \| diff to current