projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cmake: Cleanup CMakeLists.txt files, remove SHARED.
[cvc5.git] / src / util /
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for CLN. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added missing dependency for src/util tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: .cpp generation done, .h generation not yet... tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-07 Mathias PreinerReplace boost::integer_traits with std::numeric_limits... tree | commitdiff
2018-08-26 Andres NoetzliUse uniform length limit for String constants (#2381) tree | commitdiff
2018-08-15 Andres NoetzliRemove unused tuple classes (#2313) tree | commitdiff
2018-08-15 Andres NoetzliRemove unused class DynamicArray (#2312) tree | commitdiff
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) tree | commitdiff
2018-08-10 Aina NiemetzFix portfolio command executor for changes from #2240... tree | commitdiff
2018-08-09 Andrew Reynolds Fix char overflow issues in regular expression solver... tree | commitdiff
2018-08-08 Andres NoetzliRequire Swig 3 (#2283) tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-08-07 Mathias PreinerMake output of flushInformation and safeFlushInformatio... tree | commitdiff
2018-08-03 Mathias PreinerFix printing statistics in case of signals. (#2267) tree | commitdiff
2018-07-21 Andrew ReynoldsOptimizations and fixes for computing whether a type... tree | commitdiff
2018-07-15 Andres NoetzliAvoid ambiguous overloads in BitVector (#2169) tree | commitdiff
2018-07-08 Andres NoetzliAdd more sophisticated floating-point sampler (#2155) tree | commitdiff
2018-07-04 Andrew ReynoldsMore cleanup in strings (#2138) tree | commitdiff
2018-07-03 Aina NiemetzNew C++ API: Implementation of Term. (#2131) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-06-20 Andres NoetzliResolve CVC4_USE_SYMFPU in headers at config-time ... tree | commitdiff
2018-05-14 MartinFloating point theory solver based on SymFPU (#1895) tree | commitdiff
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) tree | commitdiff
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-04-21 Andres NoetzliRemove unused cache.h (#1795) tree | commitdiff
2018-03-23 Andrew ReynoldsRemove abstract regular expression constant (#1698) tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-03-05 Aina NiemetzAdd uniform way to serialize containers of Expr to... tree | commitdiff
2018-02-27 Andrew ReynoldsImprove rewriter for string indexof (#1592) tree | commitdiff
2018-02-24 Andres NoetzliAdd unit tests for BitVector, minor BV rewrite fix... tree | commitdiff
2018-02-23 Aina NiemetzSplit and document bitvector.h. (#1615) tree | commitdiff
2018-02-10 Aina NiemetzMove BitVector specific funs from bv::utils to util... tree | commitdiff
2018-02-09 Tim KingRenaming CHECK to CVC4_CHECK. This avoids name collisio... tree | commitdiff
2018-02-08 Tim KingInitializing Timer::d_wall_limit (CID 1362899). (#1573) tree | commitdiff
2018-02-07 Tim KingAdds a new CHECK macro that abort()s on failure. (... tree | commitdiff
2018-02-06 Tim KingAborting on errors in StatisticsRegistry::unregisterSta... tree | commitdiff
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780... tree | commitdiff
2018-01-16 Tim KingRemoving more miscellaneous throw specifiers. (#1509) tree | commitdiff
2018-01-10 Tim KingCleaning up throw specifiers on Exception and subclasse... tree | commitdiff
2018-01-09 Aina NiemetzReorganized bitvector.h. (#1505) tree | commitdiff
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488) tree | commitdiff
2018-01-08 Tim KingRemoves RationalFromDoubleException. Replaces this... tree | commitdiff
2017-12-30 Aina NiemetzFix RNG for seed = 0. (#1459) tree | commitdiff
2017-11-17 Aina NiemetzAdd random number generator. (#1370) tree | commitdiff
2017-11-15 Tim KingAdding garbage collection for Proof objects. (#1294) tree | commitdiff
2017-11-09 Aina NiemetzAdd modular arithmetic operators. (#1321) tree | commitdiff
2017-11-07 Tim King Initialize TimerStat::d_start. (#1330) tree | commitdiff
2017-11-06 Aina NiemetzAdd getValue() for Rational and Integer (GMP and CLN... tree | commitdiff
2017-10-28 Andrew ReynoldsImprove strings rewriter for contains (#1207) tree | commitdiff
2017-10-26 Andres NoetzliUse uintptr_t for pointer casts in Swig files (#1278) tree | commitdiff
2017-10-18 Andrew ReynoldsStrings API escape sequences (#1245) tree | commitdiff
2017-09-29 Andres NoetzliBetter hash function for pairs (#1157) tree | commitdiff
2017-09-26 Andres NoetzliFix build for old GMP version (#1114) tree | commitdiff
2017-09-19 Andrew ReynoldsFix issue #1105 involving string to int (#1112) tree | commitdiff
2017-09-19 MartinFloating point symfpu support (#1103) tree | commitdiff
2017-09-13 Andres NoetzliRemove unused RecordSelect and TupleSelect (#1087) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-22 Aina NiemetzCleanup: use Assert rather than C assert. (#1052) tree | commitdiff
2017-08-17 Andres NoetzliRemove unused SubrangeBound(s) classes (#221) tree | commitdiff
2017-08-05 Aina NiemetzReorganized bitvector.h tree | commitdiff
2017-08-04 Aina NiemetzFix comments tree | commitdiff
2017-08-04 Aina NiemetzFix typos in comments tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingFixing the order of the comparison operation. tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Tim KingMoving to static_assert now that c++11 is available. tree | commitdiff
2017-07-14 Tim KingCleaning up the CVC4::String class. tree | commitdiff
2017-07-08 Mathias PreinerMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2017-07-07 Andres NoetzliAvoid invoking copy constructor when safe printing... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 Andres NoetzliMinor fix in safe_print function tree | commitdiff
2017-05-12 Andres NotzliMake signal handlers safer tree | commitdiff
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... tree | commitdiff
2016-12-02 Tim KingCleaning up Statistics::copyFrom to avoid casts. tree | commitdiff
2016-10-13 Tim KingInitializes RoundingMode::roundNearestTiesToAway to... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-10-03 Tim KingRemoving the throw specifiers from Cardinality. tree | commitdiff
2016-10-01 Tim KingRemoving the throw specifiers from Result. tree | commitdiff
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format tree | commitdiff
2016-10-01 Tim KingRemoving the throw specifiers from SExpr. tree | commitdiff
2016-10-01 Tim KingRemoving the throw specifiers from SubrangeBounds. tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-08-19 Clark BarrettAdded fitsSignedLong and fitsUnsignedLong tree | commitdiff
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes tree | commitdiff
2016-08-10 ajreynolImprovements to strings: work on propagations for rever... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-08 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-08 GuySupport for printing a global let map in LFSC proofs. tree | commitdiff
2016-05-26 Clark BarrettMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-05-26 Clark BarrettUpdated script, fixed bug in QF_NIA conversion. tree | commitdiff
next