summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2019-09-16Remove equality inference option for quantifiers (#3282)Andrew Reynolds
2019-09-16Move specific attributes out of term util (#3279)Andrew Reynolds
2019-09-16Sygus type info class (#3187)Andrew Reynolds
2019-09-16 Fix HO model construction for functions having Boolean arguments (#3158)Andrew Reynolds
2019-09-16Move virtual term substitution utilities to own file and document (#3278)Andrew Reynolds
2019-09-16Return RecoverableModalException when model is not available. (#3283)Andrew Reynolds
2019-09-16Fix compiler warning in options.cpp. (#3284)Aina Niemetz
2019-09-16Initialize fields in sets inference manager (#3289)Andrew Reynolds
2019-09-16parser: Improve error message for unrecognized input file format. (#3285)Aina Niemetz
2019-09-13Disallow let in sygus grammars, check for free variables in sygus constructor...Andrew Reynolds
2019-09-13Move higher-order matching predicate (#3280)Andrew Reynolds
2019-09-13Split, refactor and document the theory of sets (#3085)Andrew Reynolds
2019-09-12 Rename UF with cardinality extension (#3241)Andrew Reynolds
2019-09-12Update to standard implementation of contains term (#3270)Andrew Reynolds
2019-09-12 Fix default grammar construction for arrays when no free variables are prese...Andrew Reynolds
2019-09-12Encapsulate synth engine (#3271)Andrew Reynolds
2019-09-11Refactoring finite bounds in Quantifiers Engine (#3261)Andrew Reynolds
2019-09-11Fix not to output all warnings (#2778)Ken Matsui
2019-09-11Fix type assertion in getSynthSolutions (#3252)Andrew Reynolds
2019-09-11Infrastructure for instantiation rewriter (#3262)Andrew Reynolds
2019-09-11Fix constructor type printing (#3246)Andrew Reynolds
2019-09-10Fix issue related to enum in cegqi (#3267)Andrew Reynolds
2019-09-09Fix issue in cegqi related to enum (#3265)Andrew Reynolds
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove parsing/printing of meta-info command. (#3260)Mathias Preiner
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-09-06Make CEGQI term type to enum (#3256)Andrew Reynolds
2019-09-05 Model API for domain elements (#3243)Andrew Reynolds
2019-09-04Explicitly pass current sygus solution to exclude (#3209)Andrew Reynolds
2019-09-04Refactoring CEGQI interface (#3239)Andrew Reynolds
2019-09-04Towards incremental SyGuS in SMT engine (#3195)Andrew Reynolds
2019-09-04More details in substitution function documentation (#3244)yoni206
2019-09-04Move getCounterexampleLiteral out of term utilities (#3238)Andrew Reynolds
2019-09-04Fix DAGification for printer. (#3233)Mathias Preiner
2019-09-04 Fixes related to destructing null (#3231)Andrew Reynolds
2019-08-30Fix out-of-bounds access in regexp inclusion test (#3242)Andres Noetzli
2019-08-29Better heuristic for str.code/re.range (#3220)Andres Noetzli
2019-08-29Infer conflicts based on regular expression inclusion (#3234)Andres Noetzli
2019-08-28Removing comments related to issues (#3232)Andrew Reynolds
2019-08-27Fixes for get-abduct (#3229)Andrew Reynolds
2019-08-26Remove unnecessary code from Cvc.g (#3213)Andrew Reynolds
2019-08-24fix misuse of iterator with a different container (#3214)Piotr Trojanek
2019-08-24fix mismatch between "delete" and "new []" (#2795)Piotr Trojanek
2019-08-23 Infer emptiness instead of splitting when a string equality rewrites to a co...Andrew Reynolds
2019-08-23 Fixes for sygus regressions (#3219)Andrew Reynolds
2019-08-23Document transition inference utility (#3207)Andrew Reynolds
2019-08-23Exclude redundant lemmas when tracking inst lemmas. (#3210)Andrew Reynolds
2019-08-23Update dynamic splitting strategy for quantifiers (#3162)Andrew Reynolds
2019-08-23Fix argument in nonlinear extension. (#3216)Andrew Reynolds
2019-08-23Minor update to term util (#3208)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback