summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sygus/icfp_14.12.sy
AgeCommit message (Collapse)Author
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-11-03Sygus clean main (#1297)Andrew Reynolds
* Remove front end hack for sygus. * Remove other hack, add sygus solution output mode. * Clang format * Minor * Fix * Minor * Remove unused field.
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ↵ajreynol
decision procedure to share selectors of the same type across multiple constructors. Major rewrite of the SyGuS solver. Adds several new strategies for I/O example problems (PBE) and invariant synthesis. Major simplifications to sygus parsing and synthesis conjecture representation. Do not support check-synth in portfolio. Add sygus regressions.
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback