summaryrefslogtreecommitdiff
path: root/src/theory/quantifiers/sygus
AgeCommit message (Expand)Author
2018-04-29Allow multiple functions in sygus unif approaches (#1831)Andrew Reynolds
2018-04-28Initial implementation of SygusUnifRL (#1829)Haniel Barbosa
2018-04-27Make construct solution behavior specific to SygusIO (#1827)Andrew Reynolds
2018-04-27New module for synthesizing functions in a data-driven SyGuS approach (#1819)Haniel Barbosa
2018-04-25Move candidate rewrite code to own file (#1804)Andrew Reynolds
2018-04-20 Reenable filtering based on ordering in sygus sampler (#1784)Andrew Reynolds
2018-04-16Skolemize candidate rewrite rule checks (#1777)Andrew Reynolds
2018-04-14Another fix for sygus rr stats. (#1768)Andrew Reynolds
2018-04-10 Improve accuracy of stats for sygus sampler (#1755)Andrew Reynolds
2018-04-09Fix hasSubterm calls for higher-order (#1760)Andrew Reynolds
2018-04-09Fix sygus substr static symmetry breaking (#1761)Andrew Reynolds
2018-04-08Allow predetermined first-order variables when constructing deep embedding. (...Andrew Reynolds
2018-04-04Proper initialization and destruction of sygus unif (#1750)Andrew Reynolds
2018-04-03Option to turn arbitrary input into sygus (#1704)Andrew Reynolds
2018-04-03Make sygus unif I/O an subclass of sygus unif (#1741)Andrew Reynolds
2018-04-03Internal sygus type checking (#1734)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
2018-03-26Documentation and simplifications for PBE (#1677)Andrew Reynolds
2018-03-26Synth-check and accelerate options for sygus-rr (#1691)Andrew Reynolds
2018-03-25Cleanup various exit calls (#1692)Andrew Reynolds
2018-03-23Enable post-condition strenghtening by default for non-syntax restricted inva...Andrew Reynolds
2018-03-20Minor refactor datatypes sygus (#1673)Andrew Reynolds
2018-03-06Refactor symmetry breaking in datatypes sygus (#1640)Andrew Reynolds
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-03-02Optimization for sygus streaming mode (#1636)Andrew Reynolds
2018-03-02Simplify sygus wrt miniscoping (#1634)Andrew Reynolds
2018-03-02Print candidate rewrites in terms of original grammar (#1635)Andrew Reynolds
2018-03-01Create infrastructure for sygus modules (#1632)Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback