summaryrefslogtreecommitdiff
path: root/src/api/cvc4cpp.cpp
AgeCommit message (Expand)Author
2019-12-06Add ExprManager as argument to Datatype (#3535)Andrew Reynolds
2019-12-04Add mkOp for a single Kind (#3522)makaimann
2019-12-03Add isNullHelper to avoid calling API function isNull with CVC4_API_CHECK_NOT...makaimann
2019-12-02OpTerm Refactor: Allow retrieving OpTerm used to create Term in public C++ AP...makaimann
2019-11-17Updates to the unit tests, api, and examples for datatypes (#3459)Andrew Reynolds
2019-11-05Remove casts to subclasses of Type in API (#3420)Andres Noetzli
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-18Update overflow check to handle negative numbers (#3396)makaimann
2019-10-08New C++ API: Term: Add missing checks for null. (#3364)Aina Niemetz
2019-10-07New C++ API: Add Term::getId(). (#3360)Aina Niemetz
2019-10-02Fix compiler warning. (#3348)Aina Niemetz
2019-09-25Add isParameterized function to Expr (#3303)Andrew Reynolds
2019-09-18Add support for creating constant arrays to the new C++ API (#3296)makaimann
2019-08-19New C++ API: Add checks for Solver::checkValid and Solver::checkValidAssuming...Aina Niemetz
2019-08-13New C++ API: Add checks and tests for Solver::simplify. (#3170)Aina Niemetz
2019-08-13New C++ API: Reorganize Solver code (move only). (#3170)Aina Niemetz
2019-08-11New C++ API: Add documentation/guidelines for API guards. (#3178)Aina Niemetz
2019-08-11New C++ API: Add templated getIndices method for OpTerm (#3073)makaimann
2019-08-07New C++ API: Add checks and tests for push/pop. (#3121)Aina Niemetz
2019-08-07New C++ API: Introduce macros for try-catch blocks in Solver. (#3121)Aina Niemetz
2019-08-06New C++ API: Fix branch prediction in CHECK macros. (#3161)Aina Niemetz
2019-06-28Make mkOpTerm const (#3072)makaimann
2019-06-21Fix and simplify handling of --force-logic (#3062)Andres Noetzli
2019-04-29Eliminate APPLY kind (#2976)Andrew Reynolds
2019-04-25New C++ API: Clean up API: mkVar vs mkConst vs mkBoundVar. (#2977)Aina Niemetz
2019-03-26Update copyright headers.Aina Niemetz
2019-03-18New C++: Remove redundant mkBoundVar function.Aina Niemetz
2019-03-18New C++: Remove redundant mkVar function.Aina Niemetz
2019-02-13New C++ API: Remove redundant declareFun function. (#2837)Aina Niemetz
2019-02-12New C++ API: Remove redundant mkTerm function. (#2836)Aina Niemetz
2019-02-11New C++ API: Unit tests for declare* functions. (#2831)Aina Niemetz
2019-01-29New C++ API: Fix checks for mkTerm. (#2820)Aina Niemetz
2019-01-11New C++ API: Add unit tests for setInfo, setLogic, setOption. (#2782)Aina Niemetz
2019-01-10New C++ API: Get rid of mkConst functions (simplify API). (#2783)Aina Niemetz
2019-01-07New C++ API: Add missing getType() calls to kick off type checking. (#2773)Aina Niemetz
2019-01-03New C++ API: Add missing catch blocks for std::invalid_argument. (#2772)Aina Niemetz
2019-01-03API/Smt2 parser: refactor termAtomic (#2674)Andres Noetzli
2019-01-03C++ API: Reintroduce zero-value mkBitVector method (#2770)Andres Noetzli
2019-01-02New C++ API: Add tests for mk-functions in solver object. (#2764)Aina Niemetz
2018-12-17New C++ API: Add tests for term object. (#2755)Aina Niemetz
2018-12-14New C++ API: Add tests for opterm object. (#2756)Aina Niemetz
2018-12-13New C++ API: Add tests for sort functions of solver object. (#2752)Aina Niemetz
2018-11-05API: Fix assignment operators (#2680)Andres Noetzli
2018-10-08Fix compiler warnings. (#2601)Aina Niemetz
2018-10-04New C++ API: Add checks for Sorts. (#2519)Aina Niemetz
2018-09-23 New C++ API: Add checks for Terms/OpTerms. (#2455)Aina Niemetz
2018-09-18New C++ API: Introduce new macro and exception for API checks. (#2486)Aina Niemetz
2018-09-14Refactor how assertions are added to decision engine (#2396)Andres Noetzli
2018-09-12New C++ API: Try to fix (false positive) Coverity warnings. (#2454)Aina Niemetz
2018-08-23New C++ API: Add checks for kind arguments. (#2369)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback