projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Ensure uses of ground terms in triggers are preprocessed and registered (#5808)
[cvc5.git]
/
src
/
util
/
2020-12-15
Gereon Kremer
Add getters to retrieve constants from api::Term (...
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-12-02
Aina Niemetz
Remove use of this-> in FP literal. (#5565)
tree
|
commitdiff
2020-11-30
Aina Niemetz
floatingpoint: Use unique_ptr for FloatingPointLiteral...
tree
|
commitdiff
2020-11-21
Aina Niemetz
Rename symfpu_literal.(h.in|cpp) -> floatingpoint_liter...
tree
|
commitdiff
2020-11-21
Aina Niemetz
Rename floatingpoint.h.in -> floatingpoin.h. (#5500)
tree
|
commitdiff
2020-11-20
Aina Niemetz
RoundingMode: Rename enum values to conform to code...
tree
|
commitdiff
2020-11-20
Aina Niemetz
FloatingPoint: Separate out symFPU glue code. (#5492)
tree
|
commitdiff
2020-11-19
Aina Niemetz
floatingpoint.h: Split in preparation to cleanly separa...
tree
|
commitdiff
2020-11-19
Aina Niemetz
Include stddef.h (needed for size_t) in cvc4_public...
tree
|
commitdiff
2020-11-18
Aina Niemetz
FloatingPoint: Use uint32_t instead of unsigned. (...
tree
|
commitdiff
2020-11-18
Aina Niemetz
FloatingPoint: Clean up and document header, format...
tree
|
commitdiff
2020-11-16
Gereon Kremer
Improve accuracy of resource limitation (#4763)
tree
|
commitdiff
2020-10-20
Aina Niemetz
Integer (CLN): Minor improvements. (#5306)
tree
|
commitdiff
2020-10-19
Aina Niemetz
Integer: CLN: Move implementation of member functions...
tree
|
commitdiff
2020-10-05
Aina Niemetz
Integer: GMP: Move implementation of member functions...
tree
|
commitdiff
2020-10-01
Aina Niemetz
FloatingPoint: Add utility functions for largest and...
tree
|
commitdiff
2020-10-01
Aina Niemetz
BitVector: Extend interface of setBit to set it to...
tree
|
commitdiff
2020-09-30
Aina Niemetz
FloatingPoint: Add utility functions for largest and...
tree
|
commitdiff
2020-09-23
Aina Niemetz
FP: Use Assert instead of AlwaysAssert in traits::...
tree
|
commitdiff
2020-09-23
Andres Noetzli
[Python API] Conversion to/from Unicode strings (#5120)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-08
Mathias Preiner
Fix printing of fp values. (#5041)
tree
|
commitdiff
2020-09-01
Haniel Barbosa
Removes old proof code (#4964)
tree
|
commitdiff
2020-09-01
FabianWolff
Fix spelling errors (#4977)
tree
|
commitdiff
2020-07-21
Gereon Kremer
Preparations for a CAD-based arithmetic solver (#4762)
tree
|
commitdiff
2020-07-17
Andrew Reynolds
Replace options listener infrastructure (#4764)
tree
|
commitdiff
2020-07-17
Gereon Kremer
Integration of libpoly (#4679)
tree
|
commitdiff
2020-07-16
Gereon Kremer
Resource manager cleanup (#4732)
tree
|
commitdiff
2020-07-16
Gereon Kremer
Remove cumulative time limits and cpu time limits ...
tree
|
commitdiff
2020-07-13
Andrew Reynolds
Add support for string/sequence update (#4725)
tree
|
commitdiff
2020-07-03
Andres Noetzli
Remove SWIG bindings (#4683)
tree
|
commitdiff
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
next