summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-10-09NodeValue: Use 'using' instead of 'typedef'. (#3374)Aina Niemetz
2019-10-09NodeValue: Use fixed width return type for getRefCount(). (#3374)Aina Niemetz
2019-10-09Reorder NodeValue class according to our code style guidelines. (#3374)Aina Niemetz
2019-10-08Avoid printing success for `--force-logic` (#3363)Andres Noetzli
2019-10-08cmake: Fix include of CVC4JavaTargets.cmake. (#3373)Mathias Preiner
2019-10-08New C++ API: Term: Add missing checks for null. (#3364)Aina Niemetz
2019-10-08Limit cases of sygus inference based on type (#3370)Andrew Reynolds
2019-10-08Fix method for getting arithmetic function definition body (#3371)Andrew Reynolds
2019-10-08prefer prefix ++ operator for iteratorsPiotr Trojanek
2019-10-08pass parameters by reference where it affects performancePiotr Trojanek
2019-10-08[CVC Parser] Add support for regular expressions (#3346)Andres Noetzli
2019-10-08Disallow --proof and --incremental (#3332)Andres Noetzli
2019-10-08Make ackermannization generally applicable rather than just BV (#3315)Ying Sheng
2019-10-07Build system: Add build type for incremental competition builds. (#3365)Aina Niemetz
2019-10-07New C++ API: Add Term::getId(). (#3360)Aina Niemetz
2019-10-07[SMT2 Parser] Move code of `rewriterulesCommand` (#3334)Andres Noetzli
2019-10-06Fix typo in regression (#3359)Andrew Reynolds
2019-10-06Fix str to int reduction (#3358)Andrew Reynolds
2019-10-04Avoid duplicate lemmas in datatypes (#3310)Andrew Reynolds
2019-10-03Disable proofs for unsupported logics (#3327)yoni206
2019-10-03Travis: Reenable building and running of examples. (#3351)Aina Niemetz
2019-10-03Add missing type definitions to CDHashMap iterator (#3330)Andres Noetzli
2019-10-03[SMT2 Parser] Move code of `sygusCommand` (#3335)Andres Noetzli
2019-10-02Fix compiler warning. (#3348)Aina Niemetz
2019-10-02[SMT-COMP] Remove --unconstrained-simp for incremental QF_LIA (#3333)Andres Noetzli
2019-09-30Trivial solve method for single invocation sygus (#3328)Andrew Reynolds
2019-09-29Add rewrite for splitting equalities (#2957)Andres Noetzli
2019-09-29Add help for sygus 2.0 (#3318)Andrew Reynolds
2019-09-29Avoid cases of empty sygus grammars (#3301)Andrew Reynolds
2019-09-29Fail single invocation techniques when utility inference fails. (#3322)Andrew Reynolds
2019-09-28Introduce template classes for simple type rules (#2835)Andres Noetzli
2019-09-27Support smt2 language "match" term (#3258)Andrew Reynolds
2019-09-27Fix case of disjunctive conclusion in strings (#3254)Andrew Reynolds
2019-09-27Make substitution index context-independent (#2474)Andres Noetzli
2019-09-26CVC print support for recoverable failure (#3323)Andrew Reynolds
2019-09-25 Fix off by one error in strings flat form explanation (#3273)Andrew Reynolds
2019-09-25Add isParameterized function to Expr (#3303)Andrew Reynolds
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-09-25Add Windows cross-compiling instructions to INSTALL.md. (#3226)Mathias Preiner
2019-09-25Fix printing of instantiation patterns (#3305)Andrew Reynolds
2019-09-24Return choice functions for approximate values in get-value (#3304)Andrew Reynolds
2019-09-19Support context-(in)dependent decision strategies. (#3281)Andrew Reynolds
2019-09-18Add support for creating constant arrays to the new C++ API (#3296)makaimann
2019-09-18Decouple fmf-bound and finite-model-find (#3297)Andrew Reynolds
2019-09-18Add run script for next SMT-COMP (#3298)Andres Noetzli
2019-09-18Minor cleaning (#3295)Andrew Reynolds
2019-09-17 Encapsulate relevant domain (#3293)Andrew Reynolds
2019-09-16Avoid computing cardinality when constructing models (#3268)Andrew Reynolds
2019-09-16Remove parameterized check (#3290)Andrew Reynolds
2019-09-16Fix spurious meta-info in regression (#3294)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback