projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Support ackermannization on uninterpreted sorts in BV (#3372)
[cvc5.git] / test / regress / regress0 / sygus /
2019-12-05 Andrew ReynoldsRefactor mode options for Unif+PI (#3531) tree | commitdiff
2019-11-30 Andres NoetzliCompetition build: Skip parsing error regression (... tree | commitdiff
2019-11-25 Andrew ReynoldsBetter front-end type checking for SyGuS (#3496) tree | commitdiff
2019-11-04 Andrew ReynoldsAvoid non-well-founded sygus grammars (#3434) tree | commitdiff
2019-10-15 Andres NoetzliFix regression (#3393) tree | commitdiff
2019-10-14 Andres NoetzliDisable regression test for competition build (#3388) tree | commitdiff
2019-10-11 Andrew ReynoldsCheck that logic is set when synth-fun command is encou... tree | commitdiff
2019-10-08 Andrew ReynoldsLimit cases of sygus inference based on type (#3370) tree | commitdiff
2019-10-01 Andrew ReynoldsTrivial solve method for single invocation sygus (... tree | commitdiff
2019-09-13 Andrew ReynoldsDisallow let in sygus grammars, check for free variable... tree | commitdiff
2019-07-23 Andrew ReynoldsFix sygus datatype parsing in sygus v1 format (#3113) tree | commitdiff
2018-11-21 Andrew ReynoldsQuickly recognize when PBE conjectures are infeasible... tree | commitdiff
2018-11-07 Haniel BarbosaAdding default SyGuS grammar construction for arrays... tree | commitdiff
2018-10-05 Andrew ReynoldsUpdate default options for sygus (#2586) tree | commitdiff
2018-09-26 Haniel BarbosaMakes SyGuS parsing more robust in invariant problems... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added regression tests and target make regress. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-22 Haniel BarbosaAdds regression test for automatic generation of SyGuS... tree | commitdiff
2018-07-23 Andrew Reynolds sygusComp2018: add regressions (#2191) tree | commitdiff
2018-05-21 Caleb DonovickFix file extension (#1919) tree | commitdiff
2018-05-18 Andrew ReynoldsCegis unif defaults to cegis when no unif (#1942) tree | commitdiff
2018-03-21 Andres Noetzli Move regression tests to single Makefile.am (#1658) tree | commitdiff
2018-02-15 Andrew ReynoldsRefactor regressions (#1581) tree | commitdiff
2018-02-06 Andrew ReynoldsStatically eliminate redundant sygus constructors ... tree | commitdiff
2018-02-02 Andrew ReynoldsFix remaining synthesis solution regressions (#1557) tree | commitdiff
2018-02-02 Haniel BarbosaOption to check solutions produced by SyGuS solver... tree | commitdiff
2018-01-22 Aina NiemetzRefactor and fix solveBvLit for CBQI BV. (#1526) tree | commitdiff
2018-01-12 Andrew ReynoldsImprovements for CBQI BV (#1504) tree | commitdiff
2017-12-07 Andrew ReynoldsFixes related to SyGuS + real arithmetic (#1432) tree | commitdiff
2017-12-01 Andrew ReynoldsRefactor and generalize PBE strategies (#1410) tree | commitdiff
2017-11-21 Andrew ReynoldsCegqi bv remove extract terms preprocess pass (#1376) tree | commitdiff
2017-11-13 Andrew ReynoldsDisable sygus qe preprocessing by default (#1353) tree | commitdiff
2017-11-13 Andrew ReynoldsArgument Relevance for Synthesis Conjectures (#1311) tree | commitdiff
2017-11-04 Andrew ReynoldsSuppport SAT logic (#1310) tree | commitdiff
2017-11-03 Andrew ReynoldsSygus clean main (#1297) tree | commitdiff
2017-10-23 Andrew ReynoldsDocument sygus programming-by-examples utility (#1260) tree | commitdiff
2017-10-12 Andrew ReynoldsSygus logics (#1226) tree | commitdiff
2017-09-30 Andrew ReynoldsSyGuS streaming solution mode (#1131) tree | commitdiff
2017-09-21 Andrew ReynoldsSygus inv templ refactor (#1110) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-20 ajreynolFix a few bugs related to sygus. tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
2016-11-18 Andres NotzliFix Makefiles in test tree | commitdiff
2016-10-21 ajreynolMove slow regress0 benchmarks to regress1, increment... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-05-18 ajreynolRefactor modes for sygus+single invocation. Add option... tree | commitdiff
2016-05-16 ajreynolEnable --sygus-direct-eval by default, limit to terms... tree | commitdiff
2016-05-06 ajreynolMinor clean up, fixes related to sygus. tree | commitdiff
2016-05-05 ajreynolCompute term indices lazily in TermDb. Optimization... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-03-08 ajreynolExtend synthesis solver to handle single invocation... tree | commitdiff
2015-11-25 ajreynolInfrastructure for partially single invocation properti... tree | commitdiff
2015-11-10 ajreynolFix infinite loop in datatype enumerator. Minor fixes... tree | commitdiff
2015-11-07 Tim KingChanging file permissions to add or remove executable... tree | commitdiff
2015-09-29 ajreynolFix for fmf+incremental. Restrict cbqi to literals... tree | commitdiff
2015-09-24 ajreynolCounterexample-guided instantiation for datatypes.... tree | commitdiff
2015-09-17 ajreynolAllow most smt2 commands as sygus commands. Fix bug... tree | commitdiff
2015-09-02 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2015-08-27 ajreynolModify slow regressions. tree | commitdiff
2015-08-01 ajreynolSupport for default grammar for datatypes in sygus... tree | commitdiff
2015-07-31 ajreynolSygus support for inductive datatypes. tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-07-25 ajreynolAdd option --sygus-inv-templ for synthesizing strengthe... tree | commitdiff
2015-07-20 ajreynolSquashed merge of SygusComp 2015 branch. tree | commitdiff
2015-06-11 ajreynolAvoid naming conflicts in sygus, refactor. Add missing... tree | commitdiff
2015-06-11 ajreynolHandle duplicate operators in sygus grammars. Parse... tree | commitdiff
2015-06-11 ajreynolUpdate experimental scripts. Support top-level non... tree | commitdiff
2015-06-10 ajreynolSupport for printing solutions involving LetGTerm sygus... tree | commitdiff
2015-06-02 ajreynolFlatten sygus grammars during parsing. Remove duplicate... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-05-11 ajreynolAllow sygus with no syntactic restrictions for LIA... tree | commitdiff
2015-05-11 ajreynolAdd missing regression. tree | commitdiff
2015-05-11 ajreynolSupport for arbitrary constants/variables in Sygus... tree | commitdiff
2015-04-24 ajreynolFix sygus parser for non-tokenized operators, reenable... tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-22 Kshitij BansalMerge pull request #73 from kbansal/parser-dont-tokenize tree | commitdiff
2015-04-16 Kshitij Bansaldisable failing sygus tests tree | commitdiff
2015-02-26 ajreynolRobust strategy for single invocation LIA synthesis... tree | commitdiff
2015-02-06 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2015-01-20 ajreynolMark datatypes as sygus. Add option to normalize sygus... tree | commitdiff
2015-01-14 Morgan Deterssygus input language and benchmark tree | commitdiff