projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regression option (#4680)
[cvc5.git] / src / api /
2020-06-30 Ying ShengInterpolation step 1 (#4638) tree | commitdiff
2020-06-29 makaimannPython Sort tests (#4639) tree | commitdiff
2020-06-27 Andres NoetzliAdd API for retrieving separation heap/nil term (#4663) tree | commitdiff
2020-06-23 Mathias PreinerAdd support for eqrange predicate (#4562) tree | commitdiff
2020-06-19 Andres NoetzliAdd logic check for define-fun(s)-rec (#4577) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-10 Andres NoetzliAdd support for str.replace_re/str.replace_re_all ... tree | commitdiff
2020-06-10 makaimannFix getKind for Python bindings (#4496) tree | commitdiff
2020-06-08 Andres NoetzliFix Coverity issues (#4587) tree | commitdiff
2020-06-06 Andres NoetzliKeep definitions when global-declarations enabled ... tree | commitdiff
2020-06-05 Andrew ReynoldsDatatypes with nested recursion are not handled in... tree | commitdiff
2020-06-05 makaimannAdd a method for retrieving base of a constant array... tree | commitdiff
2020-06-04 makaimannWrap Result in Python API (#4473) tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: Second and last batch of API guards. ... tree | commitdiff
2020-06-04 Aina NiemetzNew C++ Api: First batch of API guards. (#4557) tree | commitdiff
2020-06-03 makaimannAdd Term::substitute to Python bindings (#4499) tree | commitdiff
2020-06-02 makaimannAdd hash Op, Sort and Term in Python bindings (#4498) tree | commitdiff
2020-06-02 Aina NiemetzNew C++ API: Keep reference to solver object in non... tree | commitdiff
2020-05-26 Mathias PreinerFix mismatched iterators (CID 1493892). (#4531) tree | commitdiff
2020-05-22 Andrew ReynoldsUpdate string kind names in new API (#4509) tree | commitdiff
2020-05-21 Abdalrhman MohamedMake Grammar reusable. (#4506) tree | commitdiff
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207) tree | commitdiff
2020-04-28 Andrew ReynoldsSupport the SMT-LIB Unicode string standard by default... tree | commitdiff
2020-04-21 Abdalrhman MohamedIntroduce a public interface for Sygus commands. (... tree | commitdiff
2020-04-08 mudathirmahgoubAdded CHOOSE operator for sets (#4211) tree | commitdiff
2020-04-06 Aina NiemetzNew C++ API: Rename Solver::mkTermInternal. (#4217) tree | commitdiff
2020-04-04 Aina NiemetzNew C++ API: Remove Op::getSort(). (#4208) tree | commitdiff
2020-04-01 Andrew ReynoldsSupport char smt-lib syntax (#4188) tree | commitdiff
2020-04-01 Aina NiemetzRename checkValid/query to checkEntailed. (#4191) tree | commitdiff
2020-03-30 Andrew ReynoldsSupport indexed operators re.loop and re.^ (#4167) tree | commitdiff
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037) tree | commitdiff
2020-03-12 Andrew ReynoldsSimplifications to the Datatypes API (#4040) tree | commitdiff
2020-03-12 makaimannAdd automatic Cython binding installation (#3933) tree | commitdiff
2020-03-11 Andrew ReynoldsAdd missing datatype functions to new API (#3930) tree | commitdiff
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) tree | commitdiff
2020-03-05 Andrew ReynoldsMigrate a majority of the functionality in parsers... tree | commitdiff
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
next