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

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-11	Andrew Reynolds	Check that logic is set when synth-fun command is encountere...	commit \| commitdiff \| tree
2019-10-11	Andres Noetzli	Add support for UBSan instrumentation (#3382)	commit \| commitdiff \| tree
2019-10-11	Aina Niemetz	Make order of theories explicit in the source code...	commit \| commitdiff \| tree
2019-10-10	Andrew Reynolds	Warning instead of assertion for failing propagating...	commit \| commitdiff \| tree
2019-10-10	Mathias Preiner	test: Add TS_UTILS_EXPECT_ABORT macro for unit tests...	commit \| commitdiff \| tree
2019-10-09	Andres Noetzli	Avoid printing success for `--force-logic` (#3363)	commit \| commitdiff \| tree
2019-10-09	Mathias Preiner	cmake: Fix include of CVC4JavaTargets.cmake. (#3373)	commit \| commitdiff \| tree
2019-10-09	Aina Niemetz	New C++ API: Term: Add missing checks for null. (#3364)	commit \| commitdiff \| tree
2019-10-08	Aina Niemetz	New C++ API: Add Term::getId(). (#3360)	commit \| commitdiff \| tree
2019-10-08	Andres Noetzli	[SMT2 Parser] Move code of `rewriterulesCommand` (...	commit \| commitdiff \| tree
2019-10-03	Aina Niemetz	Travis: Reenable building and running of examples....	commit \| commitdiff \| tree
2019-10-03	Andres Noetzli	Add missing type definitions to CDHashMap iterator...	commit \| commitdiff \| tree
2019-10-03	Andres Noetzli	[SMT2 Parser] Move code of `sygusCommand` (#3335)	commit \| commitdiff \| tree
2019-10-03	Aina Niemetz	Fix compiler warning. (#3348)	commit \| commitdiff \| tree
2019-10-02	Andres Noetzli	[SMT-COMP] Remove --unconstrained-simp for incremental...	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-29	Andres Noetzli	Introduce template classes for simple type rules (...	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	Andres Noetzli	Make substitution index context-independent (#2474)	commit \| commitdiff \| tree
2019-09-25	Andrew Reynolds	Add isParameterized function to Expr (#3303)	commit \| commitdiff \| tree
2019-09-25	Mathias Preiner	Use separate CMake project for CVC4 examples. (#3196)	commit \| commitdiff \| tree
2019-09-25	Mathias Preiner	Add Windows cross-compiling instructions to INSTALL...	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-19	makaimann	Add support for creating constant arrays to the new...	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	Haniel Barbosa	Adding new scripts for CASC/TPTP (#3291)	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	Mathias Preiner	Remove SMT1 parser. (#3228)	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-09-04	Mathias Preiner	Remove duplicate regression tests. (#3227)	commit \| commitdiff \| tree
2019-08-30	Andres Noetzli	Fix out-of-bounds access in regexp inclusion test ...	commit \| commitdiff \| tree
2019-08-30	Andrew Reynolds	Undo unintential change to FindCxxTest (#3240)	commit \| commitdiff \| tree
2019-08-30	Andres Noetzli	Better heuristic for str.code/re.range (#3220)	commit \| commitdiff \| tree
2019-08-30	Andres Noetzli	Infer conflicts based on regular expression inclusion...	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	Mathias Preiner	Make contrib/get-* more robust. (#3198)	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-19	Aina Niemetz	New C++ API: Add checks for Solver::checkValid and...	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
2019-08-14	Andrew Reynolds	Call separate SMT engine for single invocation sygus...	commit \| commitdiff \| tree
2019-08-14	Andrew Reynolds	Minor cleaning of sygus term database (#3159)	commit \| commitdiff \| tree
2019-08-14	Andrew Reynolds	Fix issue related to higher-order purification in term...	commit \| commitdiff \| tree
2019-08-14	Aina Niemetz	SmtEngine: Reorganize class according to guidelines...	commit \| commitdiff \| tree
2019-08-13	Andrew Reynolds	Track sygus variable to term relationship via attribute...	commit \| commitdiff \| tree
next

RSS Atom