summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2017-07-07Update copyright headers.Mathias Preiner
2017-07-07Use new copyright header format.Mathias Preiner
2017-05-15Minor fix in safe_print functionAndres Noetzli
2017-05-12Make signal handlers saferAndres Notzli
2017-03-16Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ...ajreynol
2016-12-02Cleaning up Statistics::copyFrom to avoid casts.Tim King
2016-10-13Initializes RoundingMode::roundNearestTiesToAway to a distinct value.Tim King
2016-10-02Removing the throw specifiers from Cardinality.Tim King
2016-10-01Removing the throw specifiers from Result.Tim King
2016-10-01Removing the throw specifiers from SExpr.Tim King
2016-10-01Removing the throw specifiers from SubrangeBounds.Tim King
2016-08-19Added fitsSignedLong and fitsUnsignedLongClark Barrett
2016-08-10Improvements to strings: work on propagations for reverse normal form process...ajreynol
2016-06-08Support for printing a global let map in LFSC proofs.Guy
2016-05-26Updated script, fixed bug in QF_NIA conversion.Clark Barrett
2016-04-15Fixes for python bindingsClark Barrett
2016-04-03Updating the copyright headers and scripts.Tim King
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2016-01-05Moving sexpr.{cpp,h,i} from expr/ back into util/.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-24Miscellaneous fixesTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback