summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2018-07-15Avoid ambiguous overloads in BitVector (#2169)Andres Noetzli
2018-07-08Add more sophisticated floating-point sampler (#2155)Andres Noetzli
2018-07-04More cleanup in strings (#2138)Andrew Reynolds
2018-07-03New C++ API: Implementation of Term. (#2131)Aina Niemetz
2018-06-25Updated copyright headers.Aina Niemetz
2018-06-20Resolve CVC4_USE_SYMFPU in headers at config-time (#2077)Andres Noetzli
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback