summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-11-29Merge branch 'master' into skipRegskipRegAndrew Reynolds
2019-11-29Fix fast SyGuS enumeration for interpreted constants (#3501)Andrew Reynolds
2019-11-29fix line numbersAndres Noetzli
2019-11-29Competition build: Skip parsing error regressionAndres Noetzli
2019-11-29Check free variables in assertions when using SyGuS (#3504)Andrew Reynolds
2019-11-27Fix sygus inference for choice functions introduced at preprocess (#3500)Andrew Reynolds
2019-11-27Enable sygusRecFun by default and fixes SyGuS+RecFun+HO issues (#3502)Haniel Barbosa
2019-11-27 Fix indexof range lemma (#3499)Andrew Reynolds
2019-11-25Better front-end type checking for SyGuS (#3496)Andrew Reynolds
2019-11-22Minor refactoring of compute model value for nl (#3489)Andrew Reynolds
2019-11-22fixing stupid typo (#3488)Haniel Barbosa
2019-11-21hard limit for rec-fun eval (#3485)Haniel Barbosa
2019-11-21Evaluation unfolding for symbolic SyGuS constructors (#3483)Andrew Reynolds
2019-11-20Lazy evaluation via rec-funs of ITE expressions (#3482)Haniel Barbosa
2019-11-18Fix reduction of `sqrt` (#3478)Andres Noetzli
2019-11-18Add a few comments to ProofManager (#3477)Alex Ozdemir
2019-11-18Signature documentation update (#3476)Alex Ozdemir
2019-11-18Use -Wimplicit-fallthrough (#3464)Andres Noetzli
2019-11-18Use standard sygus interface for abduction and rewrite rule synthesis (#3471)Andrew Reynolds
2019-11-18Improve interface for sygus datatype, fix utilities (#3473)Andrew Reynolds
2019-11-17Updates to the unit tests, api, and examples for datatypes (#3459)Andrew Reynolds
2019-11-16Add support for ThreadSanitizer instrumentation (#3467)Andres Noetzli
2019-11-15Use standard interface for sygus default grammar construction (#3466)Andrew Reynolds
2019-11-15Introduce SyGuS datatype API (#3465)Andrew Reynolds
2019-11-15Fix wrong kind in sygus version 1 parser (#3463)Andrew Reynolds
2019-11-14Use Shebang in cxxtestgen when appropriate (#3458)Alex Ozdemir
2019-11-13Allow (set-logic ...) after (reset) (#3457)Andres Noetzli
2019-11-13Distinguish unknown status for model printing (#3454)Andrew Reynolds
2019-11-12Refactor non-linear extension for model-based refinement (#3452)Andrew Reynolds
2019-11-11Add missing utilities for Node-level Datatype API (#3451)Andrew Reynolds
2019-11-11Fix mkConst<RoundingMode>() for Python bindings (#3447)Andres Noetzli
2019-11-11Update README according to the new website (#3438)yoni206
2019-11-11Eliminate remaining references to type/expr in datatype type rules. (#3450)Andrew Reynolds
2019-11-10Fix bugs related to sygus higher-order + recursive functions (#3448)Andrew Reynolds
2019-11-09Fixes in relations related to datatypes not passed by reference (#3449)Andrew Reynolds
2019-11-08cmake: Disable C++ GNU extensions. (#3446)Mathias Preiner
2019-11-06Move more string utility functions (#3398)Andrew Reynolds
2019-11-06Migrate more datatype methods to the Node level (#3443)Andrew Reynolds
2019-11-06[Regressions] Remove leading whitespace in output (#3444)Andres Noetzli
2019-11-06Support for SyGuS PBE + recursive functions (#3433)Andrew Reynolds
2019-11-05Remove casts to subclasses of Type in API (#3420)Andres Noetzli
2019-11-05Separate model object in non-linear extension (#3426)Andrew Reynolds
2019-11-05Refactor type matcher utility (#3439)Andrew Reynolds
2019-11-04[Regressions] Support for running w/ default args (#3436)Andres Noetzli
2019-11-04Make check synth solution robust to auxiliary assertions (#3432)Andrew Reynolds
2019-11-04Fix ho extensionality in collect model info (#3435)Andrew Reynolds
2019-11-04Avoid non-well-founded sygus grammars (#3434)Andrew Reynolds
2019-11-04Make getSynthSolution return a Bool (#3306)Andrew Reynolds
2019-11-04Eliminate deprecated utility function from sygus (#3431)Andrew Reynolds
2019-11-01Fix non-termination in datatype type enumerator (#3369)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback