summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-11-10Fix infinite loop in datatype enumerator. Minor fixes and improvements to cbq...ajreynol
2015-10-23This patch slightly generalizes how the std::isfinite function in <cmath> is ...Tim King
2015-10-06More improvements to strings rewriter for regexps, contains, indexof, replace...ajreynol
2015-10-02Improvements to rewriter for regexp, contains, indexof. Improvements and fixe...ajreynol
2015-09-09Working towards a fair enumerator for codatatypes.ajreynol
2015-06-27Refactor various corner cases of fmf, quantifiers modules. Enable cbqi2 by de...ajreynol
2015-06-13Robust check to avoid store all instantiations. Fix prior commit for sort inf...ajreynol
2015-06-13Fix for sort inference involving mixed Int/Real equalities.ajreynol
2015-06-12Make sygus an output language. Parse declare-fun in sygus. Minor improvemen...ajreynol
2015-06-12Accelerate sygus solution reconstruction for constants and id functions. Min...ajreynol
2015-06-10Support for printing solutions involving LetGTerm sygus. Bug fix define-fun w...ajreynol
2015-05-29changed resource step options to unsignedlianah
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback