projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Enable -Wshadow and fix warnings. (#3909)
[cvc5.git] / src / api /
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829) tree | commitdiff
2020-02-27 Andres NoetzliFix -Wshadow warnings in common headers (#3826) tree | commitdiff
2020-02-27 Andrew ReynoldsAdd support for is_digit and regular expression differe... tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-26 Andrew ReynoldsBasic support for regular expression complement (#3437) tree | commitdiff
2020-02-26 Andrew ReynoldsEmbed mkAssociative utilities within the API. (#3801) tree | commitdiff
2020-02-24 Andrew ReynoldsAdd missing functions to new C++ API (#3769) tree | commitdiff
2020-02-21 Aina NiemetzNew C++ API: Remove TOTAL kinds. (#3794) tree | commitdiff
2020-02-20 Andrew ReynoldsRemove front-end support for Chain (#3767) tree | commitdiff
2020-02-19 makaimannAdd Python bindings using Cython -- see below for more... tree | commitdiff
2020-02-19 makaimannChange datatype selector/constructor/tester to terms... tree | commitdiff
2020-02-18 Andrew ReynoldsAdd missing kinds for the new API (#3757) tree | commitdiff
2020-02-16 Andrew ReynoldsAdd temporary global API conversion utilities. (#3759) tree | commitdiff
2020-02-14 Andrew ReynoldsRemove quantifiers rewrite rules infrastructure (#3754) tree | commitdiff
2020-01-15 Aina NiemetzNew C++ API: Add nullary constructor for Result. (... tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-12-05 makaimannAdd mkOp for a single Kind (#3522) tree | commitdiff
2019-12-03 makaimannAdd isNullHelper to avoid calling API function isNull... tree | commitdiff
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create... tree | commitdiff
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty... tree | commitdiff
2019-11-06 Andres NoetzliRemove casts to subclasses of Type in API (#3420) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-22 Aina NiemetzNodeValue: Eliminate redundant NBITS macros. (#3400) tree | commitdiff
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... tree | commitdiff
2019-10-09 Aina NiemetzNew C++ API: Term: Add missing checks for null. (#3364) tree | commitdiff
2019-10-08 Aina NiemetzNew C++ API: Add Term::getId(). (#3360) tree | commitdiff
2019-10-03 Aina NiemetzFix compiler warning. (#3348) tree | commitdiff
2019-09-25 Andrew ReynoldsAdd isParameterized function to Expr (#3303) tree | commitdiff
2019-09-19 makaimannAdd support for creating constant arrays to the new... tree | commitdiff
2019-08-19 Aina NiemetzNew C++ API: Add checks for Solver::checkValid and... tree | commitdiff
2019-08-13 Aina NiemetzNew C++ API: Add checks and tests for Solver::simplify... tree | commitdiff
2019-08-13 Aina NiemetzNew C++ API: Reorganize Solver code (move only). (... tree | commitdiff
2019-08-11 Aina NiemetzNew C++ API: Add documentation/guidelines for API guard... tree | commitdiff
2019-08-11 makaimannNew C++ API: Add templated getIndices method for OpTerm... tree | commitdiff
2019-08-07 Aina NiemetzNew C++ API: Add checks and tests for push/pop. (#3121) tree | commitdiff
2019-08-07 Aina NiemetzNew C++ API: Introduce macros for try-catch blocks... tree | commitdiff
2019-08-06 Aina NiemetzNew C++ API: Fix branch prediction in CHECK macros... tree | commitdiff
2019-06-28 makaimannMake mkOpTerm const (#3072) tree | commitdiff
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) tree | commitdiff
2019-04-30 Andrew ReynoldsEliminate APPLY kind (#2976) tree | commitdiff
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-24 Aina NiemetzNew C++ API: Fix include. (#2896) tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkBoundVar function. tree | commitdiff
2019-03-19 Aina NiemetzNew C++: Remove redundant mkVar function. tree | commitdiff
2019-03-18 Aina NiemetzBitVector: Allow base 10 in constructor. (#2870) tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function.... tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant mkTerm function. (#2836) tree | commitdiff
2019-02-11 Aina NiemetzNew C++ API: Unit tests for declare* functions. (#2831) tree | commitdiff
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820) tree | commitdiff
2019-01-11 Aina NiemetzNew C++ API: Add unit tests for setInfo, setLogic,... tree | commitdiff
2019-01-10 Aina NiemetzNew C++ API: Get rid of mkConst functions (simplify... tree | commitdiff
2019-01-07 Aina NiemetzNew C++ API: Add missing getType() calls to kick off... tree | commitdiff
2019-01-04 Aina NiemetzNew C++ API: Add missing catch blocks for std::invalid_... tree | commitdiff
2019-01-03 Andres NoetzliAPI/Smt2 parser: refactor termAtomic (#2674) tree | commitdiff
2019-01-03 Andres NoetzliC++ API: Reintroduce zero-value mkBitVector method... tree | commitdiff
2019-01-03 Aina NiemetzNew C++ API: Add tests for mk-functions in solver objec... tree | commitdiff
2018-12-17 Aina NiemetzNew C++ API: Add tests for term object. (#2755) tree | commitdiff
2018-12-14 Aina NiemetzNew C++ API: Add tests for opterm object. (#2756) tree | commitdiff
2018-12-13 Aina NiemetzNew C++ API: Add tests for sort functions of solver... tree | commitdiff
2018-11-05 Andres NoetzliAPI: Fix assignment operators (#2680) tree | commitdiff
2018-10-09 Aina NiemetzFix compiler warnings. (#2601) tree | commitdiff
2018-10-04 Aina NiemetzNew C++ API: Add checks for Sorts. (#2519) tree | commitdiff
2018-09-23 Aina Niemetz New C++ API: Add checks for Terms/OpTerms. (#2455) tree | commitdiff
2018-09-19 Aina NiemetzNew C++ API: Introduce new macro and exception for... tree | commitdiff
2018-09-15 Andres NoetzliRefactor how assertions are added to decision engine... tree | commitdiff
2018-09-12 Aina NiemetzNew C++ API: Try to fix (false positive) Coverity warni... tree | commitdiff
2018-08-28 Aina NiemetzNew C++ API: Fix isDefinedKind() to not be ambigious... tree | commitdiff
2018-08-24 Aina NiemetzNew C++ API: Add checks for kind arguments. (#2369) tree | commitdiff
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-08-01 Aina NiemetzNew C++ API: Fixed ownership of options object. (#2243) tree | commitdiff
2018-07-26 Aina NiemetzNew C++ API: Third batch of commands (SMT-LIB). (#2212) tree | commitdiff
2018-07-26 Aina NiemetzNew C++ API: Second batch of commands (SMT-LIB). (... tree | commitdiff
2018-07-24 Aina Niemetz New C++ API: First batch of commands (SMT-LIB and... tree | commitdiff
2018-07-23 Aina NiemetzNew C++ API: Implementation of Solver class: OpTerm... tree | commitdiff
2018-07-23 Aina NiemetzNew C++ API: declare-datatype. (#2166) tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Minor reorder. (#2163) tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Implementation of datatype classes. (... tree | commitdiff
2018-07-13 Aina NiemetzNew C++ API: Implementation of Solver class: Consts... tree | commitdiff
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Term handl... tree | commitdiff
2018-07-06 Aina NiemetzNew C++ API: Implementation of Solver class: Sort handl... tree | commitdiff
2018-07-04 Aina NiemetzNew C++ API: Implementation of datatype declaration... tree | commitdiff
2018-07-04 Aina NiemetzNew C++ API: Implementation of OpTerm. (#2132) tree | commitdiff
2018-07-03 Aina NiemetzNew C++ API: Implementation of Term. (#2131) tree | commitdiff
2018-07-03 Aina NiemetzNew C++ API: Implementation of Kind maps. (#2130) tree | commitdiff
2018-07-02 Aina NiemetzNew C++ API: Implementation of Sort. (#2122) tree | commitdiff
2018-06-29 Aina NiemetzNew C++ API: Implementation of Result. (#2112) tree | commitdiff
2018-06-27 Aina NiemetzHeader for new C++ API. (#1697) tree | commitdiff