summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2018-05-15Floating point theory solver based on SymFPU (#1895)Martin
2018-05-08Support for str.<= and str.< (#1882)Andrew Reynolds
2018-05-07Add support for str.code (#1821)Andrew Reynolds
2018-05-02Initial support for string standard in smt lib 2.6 (#1848)Andrew Reynolds
2018-04-20Remove unused cache.h (#1795)Andres Noetzli
2018-03-23Remove abstract regular expression constant (#1698)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-03-05Add uniform way to serialize containers of Expr to stream. (#1638)Aina Niemetz
2018-02-27Improve rewriter for string indexof (#1592)Andrew Reynolds
2018-02-23Add unit tests for BitVector, minor BV rewrite fix (#1622)Andres Noetzli
2018-02-23Split and document bitvector.h. (#1615)Aina Niemetz
2018-02-09Move BitVector specific funs from bv::utils to util/bitvector.h. (#1589)Aina Niemetz
2018-02-09Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ...Tim King
2018-02-08Initializing Timer::d_wall_limit (CID 1362899). (#1573)Tim King
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2018-02-05Aborting on errors in StatisticsRegistry::unregisterStat() instead of throwin...Tim King
2018-02-02Restoring ostream format. Resolves a few CIDs 1362780. (#1543)Tim King
2018-01-15Removing more miscellaneous throw specifiers. (#1509)Tim King
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2018-01-09Reorganized bitvector.h. (#1505)Aina Niemetz
2018-01-08Removing more miscellaneous throw specifiers. (#1488)Tim King
2018-01-07Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476)Tim King
2017-12-29Fix RNG for seed = 0. (#1459)Aina Niemetz
2017-11-17Add random number generator. (#1370)Aina Niemetz
2017-11-15Adding garbage collection for Proof objects. (#1294)Tim King
2017-11-09Add modular arithmetic operators. (#1321)Aina Niemetz
2017-11-07 Initialize TimerStat::d_start. (#1330)Tim King
2017-11-06Add getValue() for Rational and Integer (GMP and CLN). (#1309)Aina Niemetz
2017-10-27Improve strings rewriter for contains (#1207)Andrew Reynolds
2017-10-25Use uintptr_t for pointer casts in Swig files (#1278)Andres Noetzli
2017-10-18Strings API escape sequences (#1245)Andrew Reynolds
2017-09-29Better hash function for pairs (#1157)Andres Noetzli
2017-09-26Fix build for old GMP version (#1114)Andres Noetzli
2017-09-18Fix issue #1105 involving string to int (#1112)Andrew Reynolds
2017-09-18Floating point symfpu support (#1103)Martin
2017-09-13Remove unused RecordSelect and TupleSelect (#1087)Andres Noetzli
2017-08-24Merge pull request #191 from timothy-king/cleanup-regexpAndrew Reynolds
2017-08-21Cleanup: use Assert rather than C assert. (#1052)Aina Niemetz
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-08-04Reorganized bitvector.hAina Niemetz
2017-08-04Fix commentsAina Niemetz
2017-08-04Fix typos in commentsAina Niemetz
2017-07-20Merge branch 'master' into cleanup-regexpTim King
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-17Fixing the order of the comparison operation.Tim King
2017-07-17Merge branch 'master' into cleanup-regexpTim King
2017-07-16Moving to static_assert now that c++11 is available.Tim King
2017-07-13Cleaning up the CVC4::String class.Tim King
2017-07-07Avoid invoking copy constructor when safe printing (#184)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback