summaryrefslogtreecommitdiff
path: root/test/regress/regress0/sygus
AgeCommit message (Expand)Author
2019-12-05Refactor mode options for Unif+PI (#3531)Andrew Reynolds
2019-11-29Competition build: Skip parsing error regression (#3511)Andres Noetzli
2019-11-25Better front-end type checking for SyGuS (#3496)Andrew Reynolds
2019-11-04Avoid non-well-founded sygus grammars (#3434)Andrew Reynolds
2019-10-15Fix regression (#3393)Andres Noetzli
2019-10-14Disable regression test for competition build (#3388)Andres Noetzli
2019-10-11Check that logic is set when synth-fun command is encountered (#3384)Andrew Reynolds
2019-10-08Limit cases of sygus inference based on type (#3370)Andrew Reynolds
2019-09-30Trivial solve method for single invocation sygus (#3328)Andrew Reynolds
2019-09-13Disallow let in sygus grammars, check for free variables in sygus constructor...Andrew Reynolds
2019-07-23Fix sygus datatype parsing in sygus v1 format (#3113)Andrew Reynolds
2018-11-21Quickly recognize when PBE conjectures are infeasible (#2718)Andrew Reynolds
2018-11-07Adding default SyGuS grammar construction for arrays (#2685)Haniel Barbosa
2018-10-05Update default options for sygus (#2586)Andrew Reynolds
2018-09-26Makes SyGuS parsing more robust in invariant problems (#2509)Haniel Barbosa
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-22Adds regression test for automatic generation of SyGuS BV grammars (#2345)Haniel Barbosa
2018-07-23 sygusComp2018: add regressions (#2191)Andrew Reynolds
2018-05-21Fix file extension (#1919)Caleb Donovick
2018-05-18Cegis unif defaults to cegis when no unif (#1942)Andrew Reynolds
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2018-02-05Statically eliminate redundant sygus constructors (#1560)Andrew Reynolds
2018-02-02Fix remaining synthesis solution regressions (#1557)Andrew Reynolds
2018-02-02Option to check solutions produced by SyGuS solver (#1553)Haniel Barbosa
2018-01-21Refactor and fix solveBvLit for CBQI BV. (#1526)Aina Niemetz
2018-01-12Improvements for CBQI BV (#1504)Andrew Reynolds
2017-12-07Fixes related to SyGuS + real arithmetic (#1432)Andrew Reynolds
2017-12-01Refactor and generalize PBE strategies (#1410)Andrew Reynolds
2017-11-21Cegqi bv remove extract terms preprocess pass (#1376)Andrew Reynolds
2017-11-13Disable sygus qe preprocessing by default (#1353)Andrew Reynolds
2017-11-13Argument Relevance for Synthesis Conjectures (#1311)Andrew Reynolds
2017-11-03Suppport SAT logic (#1310)Andrew Reynolds
2017-11-03Sygus clean main (#1297)Andrew Reynolds
2017-10-23Document sygus programming-by-examples utility (#1260)Andrew Reynolds
2017-10-12Sygus logics (#1226)Andrew Reynolds
2017-09-30SyGuS streaming solution mode (#1131)Andrew Reynolds
2017-09-21Sygus inv templ refactor (#1110)Andrew Reynolds
2017-08-04Set default language to smt lib 2.6 (including as a base language for sygus),...ajreynol
2017-07-20Fix a few bugs related to sygus.ajreynol
2017-07-10Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ...ajreynol
2016-11-17Fix Makefiles in testAndres Notzli
2016-10-21Move slow regress0 benchmarks to regress1, increment regress1 through regress3.ajreynol
2016-05-18Refactor modes for sygus+single invocation. Add option --inst-rlv-cond. Mino...ajreynol
2016-05-16Enable --sygus-direct-eval by default, limit to terms that do not induce Bool...ajreynol
2016-05-06Minor clean up, fixes related to sygus.ajreynol
2016-05-05Compute term indices lazily in TermDb. Optimization for qcf to recognize irre...ajreynol
2016-03-08Extend synthesis solver to handle single invocation with additional universal...ajreynol
2015-11-25Infrastructure for partially single invocation properties. Bug fix for uncons...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback