summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2019-03-06Use TMPDIR environment variable for temp filesup-fix-fixAndres Noetzli
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
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback