git.libre-soc.org Git - cvc5.git/search

2019-11-09	Andrew Reynolds	Fixes in relations related to datatypes not passed...	commit \| commitdiff \| tree
2019-11-06	Andrew Reynolds	Move more string utility functions (#3398)	commit \| commitdiff \| tree
2019-11-06	Andrew Reynolds	Migrate more datatype methods to the Node level (#3443)	commit \| commitdiff \| tree
2019-11-06	Andrew Reynolds	Support for SyGuS PBE + recursive functions (#3433)	commit \| commitdiff \| tree
2019-11-05	Andrew Reynolds	Separate model object in non-linear extension (#3426)	commit \| commitdiff \| tree
2019-11-05	Andrew Reynolds	Refactor type matcher utility (#3439)	commit \| commitdiff \| tree
2019-11-04	Andrew Reynolds	Make check synth solution robust to auxiliary assertions...	commit \| commitdiff \| tree
2019-11-04	Andrew Reynolds	Fix ho extensionality in collect model info (#3435)	commit \| commitdiff \| tree
2019-11-04	Andrew Reynolds	Avoid non-well-founded sygus grammars (#3434)	commit \| commitdiff \| tree
2019-11-04	Andrew Reynolds	Make getSynthSolution return a Bool (#3306)	commit \| commitdiff \| tree
2019-11-04	Andrew Reynolds	Eliminate deprecated utility function from sygus (...	commit \| commitdiff \| tree
2019-11-01	Andrew Reynolds	Fix non-termination in datatype type enumerator (#3369)	commit \| commitdiff \| tree
2019-11-01	Andrew Reynolds	Eagerly beta reduce during sygus to builtin term conversion...	commit \| commitdiff \| tree
2019-11-01	Andrew Reynolds	Rename datatypes sygus solver (#3417)	commit \| commitdiff \| tree
2019-10-30	Andrew Reynolds	Split some generic utilities from the non-linear extension...	commit \| commitdiff \| tree
2019-10-28	Andrew Reynolds	Fix for non-linear models (#3410)	commit \| commitdiff \| tree
2019-10-27	Andrew Reynolds	Fix collect model info for higher-order (#3409)	commit \| commitdiff \| tree
2019-10-23	Andrew Reynolds	Fixes for SyGuS + regular expressions (#3313)	commit \| commitdiff \| tree
2019-10-23	Andrew Reynolds	Refactoring skolems for sets (#3381)	commit \| commitdiff \| tree
2019-10-17	Andrew Reynolds	Move datatype utility functions to own file (#3397)	commit \| commitdiff \| tree
2019-10-16	Andrew Reynolds	Solver state for theory of strings (#3181)	commit \| commitdiff \| tree
2019-10-14	Andrew Reynolds	Remove benchmark (#3389)	commit \| commitdiff \| tree
2019-10-14	Andrew Reynolds	Support UF in default sygus grammars (#3319)	commit \| commitdiff \| tree
2019-10-14	Andrew Reynolds	Apply sygus repair constant techniques restricted to...	commit \| commitdiff \| tree
2019-10-14	Andrew Reynolds	Ensure lemmas from sygus repair const are guarded ...	commit \| commitdiff \| tree
2019-10-14	Andrew Reynolds	Minor refactor in strings rewriter (#3387)	commit \| commitdiff \| tree
2019-10-13	Andrew Reynolds	Eliminate negative constant coefficients in div/mod...	commit \| commitdiff \| tree
2019-10-11	Andrew Reynolds	Check that logic is set when synth-fun command is encountere...	commit \| commitdiff \| tree
2019-10-10	Andrew Reynolds	Warning instead of assertion for failing propagating...	commit \| commitdiff \| tree
2019-10-08	Andrew Reynolds	Limit cases of sygus inference based on type (#3370)	commit \| commitdiff \| tree
2019-10-08	Andrew Reynolds	Fix method for getting arithmetic function definition...	commit \| commitdiff \| tree
2019-10-06	Andrew Reynolds	Fix typo in regression (#3359)	commit \| commitdiff \| tree
2019-10-06	Andrew Reynolds	Fix str to int reduction (#3358)	commit \| commitdiff \| tree
2019-10-04	Andrew Reynolds	Avoid duplicate lemmas in datatypes (#3310)	commit \| commitdiff \| tree
2019-10-01	Andrew Reynolds	Trivial solve method for single invocation sygus (...	commit \| commitdiff \| tree
2019-09-30	Andrew Reynolds	Add help for sygus 2.0 (#3318)	commit \| commitdiff \| tree
2019-09-30	Andrew Reynolds	Avoid cases of empty sygus grammars (#3301)	commit \| commitdiff \| tree
2019-09-29	Andrew Reynolds	Fail single invocation techniques when utility inference...	commit \| commitdiff \| tree
2019-09-28	Andrew Reynolds	Support smt2 language "match" term (#3258)	commit \| commitdiff \| tree
2019-09-27	Andrew Reynolds	Fix case of disjunctive conclusion in strings (#3254)	commit \| commitdiff \| tree
2019-09-27	Andrew Reynolds	CVC print support for recoverable failure (#3323)	commit \| commitdiff \| tree
2019-09-25	Andrew Reynolds	Fix off by one error in strings flat form explanation...	commit \| commitdiff \| tree
2019-09-25	Andrew Reynolds	Add isParameterized function to Expr (#3303)	commit \| commitdiff \| tree
2019-09-25	Andrew Reynolds	Fix printing of instantiation patterns (#3305)	commit \| commitdiff \| tree
2019-09-25	Andrew Reynolds	Return choice functions for approximate values in get...	commit \| commitdiff \| tree
2019-09-19	Andrew Reynolds	Support context-(in)dependent decision strategies....	commit \| commitdiff \| tree
2019-09-18	Andrew Reynolds	Decouple fmf-bound and finite-model-find (#3297)	commit \| commitdiff \| tree
2019-09-18	Andrew Reynolds	Minor cleaning (#3295)	commit \| commitdiff \| tree
2019-09-17	Andrew Reynolds	Encapsulate relevant domain (#3293)	commit \| commitdiff \| tree
2019-09-17	Andrew Reynolds	Avoid computing cardinality when constructing models...	commit \| commitdiff \| tree
2019-09-17	Andrew Reynolds	Remove parameterized check (#3290)	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Fix spurious meta-info in regression (#3294)	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Remove equality inference option for quantifiers (...	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Move specific attributes out of term util (#3279)	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Sygus type info class (#3187)	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Fix HO model construction for functions having Boolean...	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Move virtual term substitution utilities to own file...	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Return RecoverableModalException when model is not...	commit \| commitdiff \| tree
2019-09-16	Andrew Reynolds	Initialize fields in sets inference manager (#3289)	commit \| commitdiff \| tree
2019-09-13	Andrew Reynolds	Disallow let in sygus grammars, check for free variables...	commit \| commitdiff \| tree
2019-09-13	Andrew Reynolds	Move higher-order matching predicate (#3280)	commit \| commitdiff \| tree
2019-09-13	Andrew Reynolds	Split, refactor and document the theory of sets (#3085)	commit \| commitdiff \| tree
2019-09-12	Andrew Reynolds	Rename UF with cardinality extension (#3241)	commit \| commitdiff \| tree
2019-09-12	Andrew Reynolds	Update to standard implementation of contains term...	commit \| commitdiff \| tree
2019-09-12	Andrew Reynolds	Fix default grammar construction for arrays when no...	commit \| commitdiff \| tree
2019-09-12	Andrew Reynolds	Encapsulate synth engine (#3271)	commit \| commitdiff \| tree
2019-09-12	Andrew Reynolds	Refactoring finite bounds in Quantifiers Engine (#3261)	commit \| commitdiff \| tree
2019-09-11	Andrew Reynolds	Fix type assertion in getSynthSolutions (#3252)	commit \| commitdiff \| tree
2019-09-11	Andrew Reynolds	Infrastructure for instantiation rewriter (#3262)	commit \| commitdiff \| tree
2019-09-11	Andrew Reynolds	Fix constructor type printing (#3246)	commit \| commitdiff \| tree
2019-09-10	Andrew Reynolds	Fix issue related to enum in cegqi (#3267)	commit \| commitdiff \| tree
2019-09-09	Andrew Reynolds	Fix issue in cegqi related to enum (#3265)	commit \| commitdiff \| tree
2019-09-07	Andrew Reynolds	Remove portfolio (#3236)	commit \| commitdiff \| tree
2019-09-06	Andrew Reynolds	Make CEGQI term type to enum (#3256)	commit \| commitdiff \| tree
2019-09-06	Andrew Reynolds	Model API for domain elements (#3243)	commit \| commitdiff \| tree
2019-09-05	Andrew Reynolds	Explicitly pass current sygus solution to exclude ...	commit \| commitdiff \| tree
2019-09-05	Andrew Reynolds	Refactoring CEGQI interface (#3239)	commit \| commitdiff \| tree
2019-09-04	Andrew Reynolds	Towards incremental SyGuS in SMT engine (#3195)	commit \| commitdiff \| tree
2019-09-04	Andrew Reynolds	Move getCounterexampleLiteral out of term utilities...	commit \| commitdiff \| tree
2019-09-04	Andrew Reynolds	Fixes related to destructing null (#3231)	commit \| commitdiff \| tree
2019-08-30	Andrew Reynolds	Undo unintential change to FindCxxTest (#3240)	commit \| commitdiff \| tree
2019-08-28	Andrew Reynolds	Removing comments related to issues (#3232)	commit \| commitdiff \| tree
2019-08-28	Andrew Reynolds	Fixes for get-abduct (#3229)	commit \| commitdiff \| tree
2019-08-26	Andrew Reynolds	Remove unnecessary code from Cvc.g (#3213)	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Infer emptiness instead of splitting when a string...	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Fixes for sygus regressions (#3219)	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Document transition inference utility (#3207)	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Exclude redundant lemmas when tracking inst lemmas...	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Update dynamic splitting strategy for quantifiers ...	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Fix argument in nonlinear extension. (#3216)	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Minor update to term util (#3208)	commit \| commitdiff \| tree
2019-08-23	Andrew Reynolds	Pass synthesis conjecture to sygus modules (#3212)	commit \| commitdiff \| tree
2019-08-22	Andrew Reynolds	Local substitutions for context-depdendent simplification...	commit \| commitdiff \| tree
2019-08-20	Andrew Reynolds	Fixes for sygus inference on quantifier free problems...	commit \| commitdiff \| tree
2019-08-18	Andrew Reynolds	Context-independent regular expression unfolding (...	commit \| commitdiff \| tree
2019-08-18	Andrew Reynolds	Cleaning make bound var in smt2 parser (#3192)	commit \| commitdiff \| tree
2019-08-17	Andrew Reynolds	Move quantifiers relevance module inside E-matching...	commit \| commitdiff \| tree
2019-08-17	Andrew Reynolds	Mark symbols introduced by named attributes as defined...	commit \| commitdiff \| tree
2019-08-15	Andrew Reynolds	Fix for when to apply single invocation techniques...	commit \| commitdiff \| tree
2019-08-14	Andrew Reynolds	Update to standard implementation of getting free...	commit \| commitdiff \| tree
next

RSS Atom