summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2020-03-10Fix issue with reset-assertions. (#3988)Aina Niemetz
2020-03-09Convert more uses of strings to words (#3921)Andrew Reynolds
2020-02-27Fix -Wshadow warnings in common headers (#3826)Andres Noetzli
2020-02-24Utilities for words (#3797)Andrew Reynolds
2020-02-20Remove unused code (#3782)Andres Noetzli
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-01-29Fix isLeq function in String utility (#3659)Andrew Reynolds
2020-01-10Fix printing of models of uninterpreted sorts (#3597)Andres Noetzli
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-11-18Use -Wimplicit-fallthrough (#3464)Andres Noetzli
2019-11-08cmake: Disable C++ GNU extensions. (#3446)Mathias Preiner
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-07-31Eager conflict detection in strings based on constant prefix/suffix (#3110)Andrew Reynolds
2019-07-22Avoid move constructor of std::fstream for GCC < 5 (#3098)Andres Noetzli
2019-07-01Support sygus version 2 format (#3066)Andrew Reynolds
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-06-21Use TMPDIR environment variable for temp files (#2849)Andres Noetzli
2019-06-02Enable SymFPU assertions in production (#3036)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2019-03-18BitVector: Allow base 10 in constructor. (#2870)Aina Niemetz
2019-02-03Add rewrite for contains + const strings replace (#2828)Andres Noetzli
2018-12-14Fixed typos.Aina Niemetz
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-19Fix util::Random for macOS builds (#2655)Andres Noetzli
2018-10-09Random: support URNG interface (#2595)Aina Niemetz
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Move find_package to where it is actually needed.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add module finder for CLN.Mathias Preiner
2018-09-22cmake: Added missing dependency for src/utilAina Niemetz
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-09-07Replace boost::integer_traits with std::numeric_limits. (#2439)Mathias Preiner
2018-08-26Use uniform length limit for String constants (#2381)Andres Noetzli
2018-08-15Remove unused tuple classes (#2313)Andres Noetzli
2018-08-15Remove unused class DynamicArray (#2312)Andres Noetzli
2018-08-13Fix get-unsat-assumptions output (#2301)Andres Noetzli
2018-08-10Fix portfolio command executor for changes from #2240. (#2294)Aina Niemetz
2018-08-09 Fix char overflow issues in regular expression solver (#2275)Andrew Reynolds
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-07Delete functions instead of using CVC4_UNDEFINED (#1794)Andres Noetzli
2018-08-07Make output of flushInformation and safeFlushInformation consistent. (#2280)Mathias Preiner
2018-08-03Fix printing statistics in case of signals. (#2267)Mathias Preiner
2018-07-21Optimizations and fixes for computing whether a type is finite (#2179)Andrew Reynolds
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback