summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/sygus_grammar_cons.cpp
AgeCommit message (Expand)Author
2018-06-26Merge branch 'master' of https://github.com/CVC4/CVC4 into sygusComp2018-2ajreynol
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-06Limit policy for reconstruction, remove all-abort cegqi-si.ajreynol
2018-06-06Formatajreynol
2018-06-05Subfield types, sol recons heuristics.ajreynol
2018-06-05Formatajreynol
2018-06-05Disable special case for all-abort Booleans.ajreynol
2018-05-28Builtin evaluation functions for sygus (#1991)Andrew Reynolds
2018-05-21Assign weight 1 for Boolean variables in SyGuS default grammars (#1948)Haniel Barbosa
2018-05-18Unified fairness scheme for cegis unif (#1941)Andrew Reynolds
2018-05-17Option to force return values of Bool functions to be constant in CegisUnif (...Haniel Barbosa
2018-05-10Add ITE to default Boolean sygus grammar (#1898)Andrew Reynolds
2018-04-08Allow predetermined first-order variables when constructing deep embedding. (...Andrew Reynolds
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-03-23Enable post-condition strenghtening by default for non-syntax restricted inva...Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback