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

2018-05-28	Andrew Reynolds	Builtin evaluation functions for sygus (#1991)	blob \| commitdiff \| raw
2018-05-24	Andrew Reynolds	Improve simple constant symmetry breaking for sygus...	blob \| commitdiff \| raw \| diff to current
2018-05-23	Andrew Reynolds	Repair constants using symbolic constructors (#1960)	blob \| commitdiff \| raw \| diff to current
2018-05-21	Andrew Reynolds	Refactor sygus eval unfold (#1946)	blob \| commitdiff \| raw \| diff to current
2018-05-18	Andrew Reynolds	Unified fairness scheme for cegis unif (#1941)	blob \| commitdiff \| raw \| diff to current
2018-05-17	Andrew Reynolds	Catch type errors in sygus grammars for lambda (define...	blob \| commitdiff \| raw \| diff to current
2018-05-17	Andrew Reynolds	Internal propagation for refinement lemmas (#1932)	blob \| commitdiff \| raw \| diff to current
2018-05-10	Andrew Reynolds	Exclude Boolean connectives from ITE conditions in...	blob \| commitdiff \| raw \| diff to current
2018-05-10	Andrew Reynolds	Sygus repair constants (#1812)	blob \| commitdiff \| raw \| diff to current
2018-03-20	Andrew Reynolds	Minor refactor datatypes sygus (#1673)	blob \| commitdiff \| raw \| diff to current
2018-03-06	Andrew Reynolds	Refactor symmetry breaking in datatypes sygus (#1640)	blob \| commitdiff \| raw \| diff to current
2018-02-14	Andrew Reynolds	Quantifiers subdirectories (#1608)	blob \| commitdiff \| raw \| diff to current