projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix regression option (#4680)
[cvc5.git]
/
src
/
util
/
2020-06-30
Andrew Reynolds
Add internal support for integer and operator (#4668)
tree
|
commitdiff
2020-06-25
Andrew Reynolds
Remove sygus1 parser (#4651)
tree
|
commitdiff
2020-06-22
Aina Niemetz
get-authors: Add alias for nafur. (#4646)
tree
|
commitdiff
2020-06-22
nafur
Allow for better interaction of Integer/Rational with...
tree
|
commitdiff
2020-06-18
Andres Noetzli
Improve memory management in Java bindings (#4629)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-05
Haniel Barbosa
Printing FP values as binary or indexed BVs according...
tree
|
commitdiff
2020-05-27
Martin
Tweak the use of static_assert to support older compile...
tree
|
commitdiff
2020-05-26
Martin
Fix an incorrect limit in conversion from real to float...
tree
|
commitdiff
2020-05-19
Andrew Reynolds
Update enum and option names for sygus languages (...
tree
|
commitdiff
2020-04-15
Andrew Reynolds
Convert more cases of strings to words (#4206)
tree
|
commitdiff
2020-04-01
Aina Niemetz
Rename checkValid/query to checkEntailed. (#4191)
tree
|
commitdiff
2020-03-30
Andrew Reynolds
Rewrites for all remaining return statements in strings...
tree
|
commitdiff
2020-03-30
Andrew Reynolds
Support indexed operators re.loop and re.^ (#4167)
tree
|
commitdiff
2020-03-27
Andrew Reynolds
Move string utility file (#4164)
tree
|
commitdiff
2020-03-27
Andrew Reynolds
Support unicode internal representation and escape...
tree
|
commitdiff
2020-03-25
Andres Noetzli
Support async-signal-safe printing of inferences (...
tree
|
commitdiff
2020-03-10
Aina Niemetz
Fix issue with reset-assertions. (#3988)
tree
|
commitdiff
2020-03-09
Andrew Reynolds
Convert more uses of strings to words (#3921)
tree
|
commitdiff
2020-02-27
Andres Noetzli
Fix -Wshadow warnings in common headers (#3826)
tree
|
commitdiff
2020-02-24
Andrew Reynolds
Utilities for words (#3797)
tree
|
commitdiff
2020-02-20
Andres Noetzli
Remove unused code (#3782)
tree
|
commitdiff
2020-02-20
Mathias Preiner
resource manager: Add statistic for every resource...
tree
|
commitdiff
2020-01-29
Andrew Reynolds
Fix isLeq function in String utility (#3659)
tree
|
commitdiff
2020-01-10
Andres Noetzli
Fix printing of models of uninterpreted sorts (#3597)
tree
|
commitdiff
2019-12-23
Andrew Reynolds
Initial support for string reverse (#3581)
tree
|
commitdiff
2019-11-18
Andres Noetzli
Use -Wimplicit-fallthrough (#3464)
tree
|
commitdiff
2019-11-08
Mathias Preiner
cmake: Disable C++ GNU extensions. (#3446)
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-07-31
Andrew Reynolds
Eager conflict detection in strings based on constant...
tree
|
commitdiff
2019-07-22
Andres Noetzli
Avoid move constructor of std::fstream for GCC < 5...
tree
|
commitdiff
2019-07-01
Andrew Reynolds
Support sygus version 2 format (#3066)
tree
|
commitdiff
2019-06-22
Andres Noetzli
Add floating-point support in the Java API (#3063)
tree
|
commitdiff
2019-06-21
Andres Noetzli
Use TMPDIR environment variable for temp files (#2849)
tree
|
commitdiff
2019-06-03
Andres Noetzli
Enable SymFPU assertions in production (#3036)
tree
|
commitdiff
2019-05-16
Andres Noetzli
Fix iterators in Java API (#3000)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-03-18
Aina Niemetz
BitVector: Allow base 10 in constructor. (#2870)
tree
|
commitdiff
2019-02-04
Andres Noetzli
Add rewrite for contains + const strings replace (...
tree
|
commitdiff
2018-12-14
Aina Niemetz
Fixed typos.
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-10-19
Andres Noetzli
Fix util::Random for macOS builds (#2655)
tree
|
commitdiff
2018-10-09
Aina Niemetz
Random: support URNG interface (#2595)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Move find_package to where it is actually needed.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Rebase with current master, add new tests/source...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add module finder for CLN.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added missing dependency for src/util
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: .cpp generation done, .h generation not yet...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-07
Mathias Preiner
Replace boost::integer_traits with std::numeric_limits...
tree
|
commitdiff
2018-08-26
Andres Noetzli
Use uniform length limit for String constants (#2381)
tree
|
commitdiff
2018-08-15
Andres Noetzli
Remove unused tuple classes (#2313)
tree
|
commitdiff
2018-08-15
Andres Noetzli
Remove unused class DynamicArray (#2312)
tree
|
commitdiff
2018-08-14
Andres Noetzli
Fix get-unsat-assumptions output (#2301)
tree
|
commitdiff
2018-08-10
Aina Niemetz
Fix portfolio command executor for changes from #2240...
tree
|
commitdiff
2018-08-09
Andrew Reynolds
Fix char overflow issues in regular expression solver...
tree
|
commitdiff
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-08-07
Mathias Preiner
Make output of flushInformation and safeFlushInformatio...
tree
|
commitdiff
2018-08-03
Mathias Preiner
Fix printing statistics in case of signals. (#2267)
tree
|
commitdiff
2018-07-21
Andrew Reynolds
Optimizations and fixes for computing whether a type...
tree
|
commitdiff
2018-07-15
Andres Noetzli
Avoid ambiguous overloads in BitVector (#2169)
tree
|
commitdiff
2018-07-08
Andres Noetzli
Add more sophisticated floating-point sampler (#2155)
tree
|
commitdiff
2018-07-04
Andrew Reynolds
More cleanup in strings (#2138)
tree
|
commitdiff
2018-07-03
Aina Niemetz
New C++ API: Implementation of Term. (#2131)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-06-20
Andres Noetzli
Resolve CVC4_USE_SYMFPU in headers at config-time ...
tree
|
commitdiff
2018-05-14
Martin
Floating point theory solver based on SymFPU (#1895)
tree
|
commitdiff
2018-05-08
Andrew Reynolds
Support for str.<= and str.< (#1882)
tree
|
commitdiff
2018-05-07
Andrew Reynolds
Add support for str.code (#1821)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
tree
|
commitdiff
2018-04-21
Andres Noetzli
Remove unused cache.h (#1795)
tree
|
commitdiff
2018-03-23
Andrew Reynolds
Remove abstract regular expression constant (#1698)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add uniform way to serialize containers of Expr to...
tree
|
commitdiff
2018-02-27
Andrew Reynolds
Improve rewriter for string indexof (#1592)
tree
|
commitdiff
2018-02-24
Andres Noetzli
Add unit tests for BitVector, minor BV rewrite fix...
tree
|
commitdiff
2018-02-23
Aina Niemetz
Split and document bitvector.h. (#1615)
tree
|
commitdiff
2018-02-10
Aina Niemetz
Move BitVector specific funs from bv::utils to util...
tree
|
commitdiff
2018-02-09
Tim King
Renaming CHECK to CVC4_CHECK. This avoids name collisio...
tree
|
commitdiff
2018-02-08
Tim King
Initializing Timer::d_wall_limit (CID 1362899). (#1573)
tree
|
commitdiff
2018-02-07
Tim King
Adds a new CHECK macro that abort()s on failure. (...
tree
|
commitdiff
2018-02-06
Tim King
Aborting on errors in StatisticsRegistry::unregisterSta...
tree
|
commitdiff
2018-02-03
Tim King
Restoring ostream format. Resolves a few CIDs 1362780...
tree
|
commitdiff
2018-01-16
Tim King
Removing more miscellaneous throw specifiers. (#1509)
tree
|
commitdiff
2018-01-10
Tim King
Cleaning up throw specifiers on Exception and subclasse...
tree
|
commitdiff
2018-01-09
Aina Niemetz
Reorganized bitvector.h. (#1505)
tree
|
commitdiff
2018-01-09
Tim King
Removing more miscellaneous throw specifiers. (#1488)
tree
|
commitdiff
2018-01-08
Tim King
Removes RationalFromDoubleException. Replaces this...
tree
|
commitdiff
2017-12-30
Aina Niemetz
Fix RNG for seed = 0. (#1459)
tree
|
commitdiff
2017-11-17
Aina Niemetz
Add random number generator. (#1370)
tree
|
commitdiff
2017-11-15
Tim King
Adding garbage collection for Proof objects. (#1294)
tree
|
commitdiff
2017-11-09
Aina Niemetz
Add modular arithmetic operators. (#1321)
tree
|
commitdiff
next