summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/cegis.cpp
AgeCommit message (Expand)Author
2018-10-24Minor improvement to sygus trace (#2675)Andrew Reynolds
2018-10-10Fix cegis so that evaluation unfolding is not interleaved. (#2614)Andrew Reynolds
2018-10-09 Support for basic actively-generated enumerators (#2606)Andrew Reynolds
2018-10-05Fix unif trace (#2550)Haniel Barbosa
2018-10-03Add actively generated sygus enumerators (#2552)Andrew Reynolds
2018-09-27Infrastructure for using active enumerators in sygus modules (#2547)Andrew Reynolds
2018-09-18Move and rename sygus solver classes (#2488)Andrew Reynolds
2018-09-10Using a single condition enumerator in sygus-unif (#2440)Haniel Barbosa
2018-08-20Minor improvements to the interface for sygus sampler (#2326)Andrew Reynolds
2018-07-20 sygusComp2018: minor changes to repair constant utility (#2110)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-25Reenable repair const (#1983)Andrew Reynolds
2018-05-22Repair constants using symbolic constructors (#1960)Andrew Reynolds
2018-05-21Refactor sygus eval unfold (#1946)Andrew Reynolds
2018-05-17Cegis-specific infrastructure (#1933)Andrew Reynolds
2018-05-17Internal propagation for refinement lemmas (#1932)Andrew Reynolds
2018-05-14Flag to check invariance of entire values in sygus explain (#1908)Andrew Reynolds
2018-05-10Sygus repair constants (#1812)Andrew Reynolds
2018-05-03Make CegisUnif default to Cegis when no unif used (#1836)Haniel Barbosa
2018-04-30Fix 1156 (#1830)Andrew Reynolds
2018-03-02Simplify sygus wrt miniscoping (#1634)Andrew Reynolds
2018-03-01Create infrastructure for sygus modules (#1632)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback