summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus/sygus_unif.h
AgeCommit message (Expand)Author
2020-04-15Convert more cases of strings to words (#4206)Andrew Reynolds
2019-08-05Remove forward declarations in quantifiers engine (#3156)Andrew Reynolds
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-11-29Combine sygus stream with PBE (#2726)Andrew Reynolds
2018-11-28Information gain heuristic for PBE (#2719)Andrew Reynolds
2018-08-22 More unused code elimination (#2358)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-16Improve the separation resolution scheme in cegis unif (#1931)Andrew Reynolds
2018-05-14 Incorporating dynamic condition enumeration into cegis unif (#1916)Andrew Reynolds
2018-05-10Static learn redundant operators in CegisUnif (#1899)Haniel Barbosa
2018-04-29Allow multiple functions in sygus unif approaches (#1831)Andrew Reynolds
2018-04-27Make construct solution behavior specific to SygusIO (#1827)Andrew Reynolds
2018-04-04Proper initialization and destruction of sygus unif (#1750)Andrew Reynolds
2018-04-03Make sygus unif I/O an subclass of sygus unif (#1741)Andrew Reynolds
2018-04-02Make sygus unif utility use sygus unif strategies (#1732)Andrew Reynolds
2018-03-30Split strategy representation from SygusUnif (#1730)Andrew Reynolds
2018-03-29Simplify sygus unif so that it is one-to-one with functions to synthesize (#1...Andrew Reynolds
2018-03-27Make sygus pbe use sygus unif utility (#1724)Andrew Reynolds
2018-03-27Make sygus unif utility (#1720)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback