projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Disable slow regression (#4221)
[cvc5.git] / test / unit /
2020-04-05 Andres NoetzliAdd safe_print() support for Kind enum (#4213) tree | commitdiff
2020-04-04 Aina NiemetzNew C++ API: Remove Op::getSort(). (#4208) tree | commitdiff
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... tree | commitdiff
2020-04-03 Andrew ReynoldsSplit sequences rewriter (#4194) tree | commitdiff
2020-04-02 Andres NoetzliRemove undocumented/uncommon aliases (#4177) tree | commitdiff
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) 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-28 Alex OzdemirNode traversal iterator (#3845) tree | commitdiff
2020-03-27 Andrew ReynoldsMove string utility file (#4164) tree | commitdiff
2020-03-27 Andrew ReynoldsSupport unicode internal representation and escape... tree | commitdiff
2020-03-20 Andrew ReynoldsSplit string-specific operators from TheoryStringsRewri... tree | commitdiff
2020-03-19 Andres NoetzliOnly apply testConstStringInRegExp to const regexp... tree | commitdiff
2020-03-19 Andres NoetzliOnly allow bv2nat/int2bv with BV and integer logic... tree | commitdiff
2020-03-17 Aina NiemetzSmtEngine: Convert members owned by SmtEngine to unique... tree | commitdiff
2020-03-16 Aina NiemetzIssue 4077: Add unit test to reproduce issue. (#4107) tree | commitdiff
2020-03-16 Andres NoetzliCreate master equality engine at context level 0 (... tree | commitdiff
2020-03-12 Andrew ReynoldsSimplifications to the Datatypes API (#4040) tree | commitdiff
2020-03-11 Andrew ReynoldsAdd missing datatype functions to new API (#3930) tree | commitdiff
2020-03-10 Aina NiemetzUse fixed-width types in test/unit/context/contest_mm_b... tree | commitdiff
2020-03-10 Aina NiemetzFix -Wshadow warning in test/unit/context/context_mm_bl... 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-03-03 mudathirmahgoubRefactoring and cleaning the type enumerator for sets... tree | commitdiff
2020-02-29 Andres NoetzliAdd support for str.from_code (#3829) tree | commitdiff
2020-02-26 Andres NoetzliRemove portfolio leftovers (#3821) tree | commitdiff
2020-02-24 Andrew ReynoldsUtilities for words (#3797) tree | commitdiff
2020-02-24 Andrew ReynoldsConvert parser input interface to api::Term (#3809) 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-20 Mathias Preinerresource manager: Add statistic for every resource... tree | commitdiff
2020-02-19 Andrew ReynoldsChange Record to shared_ptr (#3778) tree | commitdiff
2020-02-19 makaimannChange datatype selector/constructor/tester to terms... tree | commitdiff
2020-01-31 Andres NoetzliFix arithmetic rewriter for exponential (#3688) tree | commitdiff
2020-01-15 Aina NiemetzNew C++ API: Add nullary constructor for Result. (... tree | commitdiff
2019-12-16 Ying ShengSupport ackermannization on uninterpreted sorts in... tree | commitdiff
2019-12-07 Andres NoetzliSimplify rewrite for character matching (#3545) tree | commitdiff
2019-12-06 Andrew ReynoldsAdd ExprManager as argument to Datatype (#3535) tree | commitdiff
2019-12-06 Alex Ozdemir[proof] Eliminate side-condition from ER signature... tree | commitdiff
2019-12-05 makaimannAdd mkOp for a single Kind (#3522) tree | commitdiff
2019-12-03 Andres NoetzliRewrite `str.contains` used for character matching... tree | commitdiff
2019-12-03 makaimannMinor refactor: rename opterm_black to op_black (#3521) tree | commitdiff
2019-12-02 makaimannOpTerm Refactor: Allow retrieving OpTerm used to create... tree | commitdiff
2019-12-01 Andres NoetzliPrevent ref count from reaching zero in BV instantiator... tree | commitdiff
2019-11-18 Andres NoetzliUse -Wimplicit-fallthrough (#3464) tree | commitdiff
2019-11-18 Andrew ReynoldsUpdates to the unit tests, api, and examples for dataty... tree | commitdiff
2019-11-14 Alex OzdemirUse Shebang in cxxtestgen when appropriate (#3458) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-18 makaimannUpdate overflow check to handle negative numbers (... tree | commitdiff
2019-10-10 Mathias Preinertest: Add TS_UTILS_EXPECT_ABORT macro for unit tests... 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-09-30 Andres NoetzliAdd rewrite for splitting equalities (#2957) tree | commitdiff
2019-09-19 makaimannAdd support for creating constant arrays to the new... tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-30 Andres NoetzliInfer conflicts based on regular expression inclusion... 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: Fix test names of solver_black unit test... tree | commitdiff
2019-08-13 Andrew ReynoldsProperly implement logic info for separation logic... tree | commitdiff
2019-08-11 makaimannNew C++ API: Add templated getIndices method for OpTerm... tree | commitdiff
2019-08-08 Mathias PreinerFix issues with Ninja build system and add configure... tree | commitdiff
2019-08-07 Aina NiemetzNew C++ API: Add checks and tests for push/pop. (#3121) tree | commitdiff
2019-08-02 Mathias PreinerFix BVGauss unit tests. (#3142) tree | commitdiff
2019-07-31 yoni206adding bv_gauss unit test to build files (#3135) tree | commitdiff
2019-07-23 yoni206Get operators in node (#3094) tree | commitdiff
2019-06-24 Andres NoetzliFix memory leak in unit test (#3068) tree | commitdiff
2019-06-21 Andres NoetzliFix and simplify handling of --force-logic (#3062) tree | commitdiff
2019-06-21 Andres NoetzliUse TMPDIR environment variable for temp files (#2849) tree | commitdiff
2019-06-12 Andres NoetzliRefactor parser to define fewer tokens for symbols... tree | commitdiff
2019-06-05 Alex OzdemirDRAT-Optimization (#2971) tree | commitdiff
2019-06-04 Andres NoetzliEnable proof checking for QF_LRA benchmarks (#2928) tree | commitdiff
2019-05-18 Andres NoetzliFix BV ITE rewrite (#3004) tree | commitdiff
2019-04-26 Aina NiemetzNew C++ API: Clean up API: mkVar vs mkConst vs mkBoundV... tree | commitdiff
2019-04-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-04-01 Andres NoetzliFix RewriteITEBv to ensure rewrite to fixpoint (#2878) tree | commitdiff
2019-03-29 Andres NoetzliFix freeing nodes with maxed refcounts (#2903) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-03-24 Aina NiemetzBV: Fix typerules for rotate operators. (#2895) tree | commitdiff
2019-03-23 Andres NoetzliStrip non-matching beginning from indexof operator... tree | commitdiff
2019-03-22 Andres NoetzliFix stripConstantEndpoints in strings rewriter (#2883) 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-03-16 Alex OzdemirEnable CryptoMiniSat-backed BV proofs (#2847) tree | commitdiff
2019-03-01 Alex OzdemirErProof class with LFSC output (#2812) tree | commitdiff
2019-02-13 Aina NiemetzNew C++ API: Remove redundant declareFun function.... tree | commitdiff
2019-02-13 Andres NoetzliRewrite simple regexp pattern to str.contains (#2827) 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-02-05 Andres NoetzliMake stripConstantEndpoints() less aggressive (#2830) tree | commitdiff
2019-02-04 Andres NoetzliAdd rewrite for contains + const strings replace (... tree | commitdiff
2019-02-02 Andres NoetzliFix corner case in stripConstantEndpoints (#2824) tree | commitdiff
2019-01-29 Andres NoetzliFix warning due to catching polymorphic exceptions... tree | commitdiff
2019-01-29 Aina NiemetzNew C++ API: Fix checks for mkTerm. (#2820) tree | commitdiff
2019-01-29 Andres NoetzliStrings: Remove redundant replace rewrite (#2822) tree | commitdiff
2019-01-23 Andres NoetzliStrings: Strengthen multiset reasoning (#2817) tree | commitdiff
2019-01-13 Alex OzdemirLFSC LRAT Output (#2787) tree | commitdiff
2019-01-11 Aina NiemetzNew C++ API: Add unit tests for setInfo, setLogic,... tree | commitdiff
next