projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
A few more miscellaneous uses of EnvObj (#7325)
[cvc5.git]
/
src
/
util
/
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
tree
|
commitdiff
2021-09-11
Gereon Kremer
Use StatisticsRegistry from Env (#7166)
tree
|
commitdiff
2021-09-01
Gereon Kremer
Make driver::totalTime a TimerStat (#7089)
tree
|
commitdiff
2021-08-30
Gereon Kremer
Refactor filename handling (#7088)
tree
|
commitdiff
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
tree
|
commitdiff
2021-08-17
Andres Noetzli
Replace `Maybe` with `std::optional` (#7005)
tree
|
commitdiff
2021-08-05
Alex Ozdemir
Normalize val in BitVector(val_str, base) (#6955)
tree
|
commitdiff
2021-07-27
Andrew Reynolds
Minor changes from proof-new (#6937)
tree
|
commitdiff
2021-06-16
Aina Niemetz
Make symfpu a required dependency. (#6749)
tree
|
commitdiff
2021-06-15
Gereon Kremer
Remove public option wrappers (#6716)
tree
|
commitdiff
2021-06-02
Gereon Kremer
Remove `Options::operator[]` (#6649)
tree
|
commitdiff
2021-05-27
Aina Niemetz
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD...
tree
|
commitdiff
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
tree
|
commitdiff
2021-05-20
Gereon Kremer
Add more getters for api::Term (#6496)
tree
|
commitdiff
2021-05-08
Andrew Reynolds
Add support for datatype update (#6449)
tree
|
commitdiff
2021-04-28
Gereon Kremer
Refactor resource manager options (#6446)
tree
|
commitdiff
2021-04-28
Gereon Kremer
Remove exception headers from options.h (#6456)
tree
|
commitdiff
2021-04-28
Gereon Kremer
Make sure reference stats are reset properly (#6457)
tree
|
commitdiff
2021-04-26
Gereon Kremer
Protect int stats methods (#6442)
tree
|
commitdiff
2021-04-23
Gereon Kremer
Make sure a ReferenceStat is set to values of the corre...
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-20
Gereon Kremer
Add InferenceId as resources (#6339)
tree
|
commitdiff
2021-04-16
Gereon Kremer
Replace SExpr class by simpler conversion routines...
tree
|
commitdiff
2021-04-15
Gereon Kremer
Avoid options listener for resource manager. (#6366)
tree
|
commitdiff
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
tree
|
commitdiff
2021-04-15
Gereon Kremer
Fix printing of stats when aborted. (#6362)
tree
|
commitdiff
2021-04-14
Gereon Kremer
Refactor / reimplement statistics (#6162)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-12
Andrew Reynolds
Fix computation of whether a type is finite (#6312)
tree
|
commitdiff
2021-04-12
Gereon Kremer
Refactor resource manager (#6322)
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-07
Andrew Reynolds
Add cardinality class definition (#6302)
tree
|
commitdiff
2021-04-02
Gereon Kremer
New statistics registry (#6210)
tree
|
commitdiff
2021-04-01
Gereon Kremer
Add utility classes for new statistics (#6178)
tree
|
commitdiff
2021-04-01
Aina Niemetz
FP: Factor out symfpu traits. (#6246)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-29
Aina Niemetz
FloatingPointLiteral: Constructor for special consts...
tree
|
commitdiff
2021-03-26
Aina Niemetz
FloatingPointLiteral: Make constructors that shouldn...
tree
|
commitdiff
2021-03-25
Aina Niemetz
FP: Refactor FloatingPointLiteral in preparation for...
tree
|
commitdiff
2021-03-22
Aina Niemetz
FP: Add documentation for FloatingPointLiteral construc...
tree
|
commitdiff
2021-03-19
Aina Niemetz
BitVector: Change setBit to set the bit in place. ...
tree
|
commitdiff
2021-03-19
Aina Niemetz
FP: Use setBit instead of bv or in conversion from...
tree
|
commitdiff
2021-03-16
Mathias Preiner
cmake: Generate cvc4_export.h and set visibility to...
tree
|
commitdiff
2021-03-15
Gereon Kremer
Replace HistogramStat by IntegralHistogramStat (#6126)
tree
|
commitdiff
2021-03-11
Gereon Kremer
First refactoring of statistics classes (#6105)
tree
|
commitdiff
2021-03-11
Mathias Preiner
Use CVC4_ASSERTIONS instead of NDEBUG. (#6099)
tree
|
commitdiff
2021-03-10
Mathias Preiner
Use Assert instead of assert. (#6095)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-04
Aina Niemetz
New C++ API: Clean up usage of internal Result. (#6043)
tree
|
commitdiff
2021-03-03
Gereon Kremer
More cleanup of includes to reduce compilation times...
tree
|
commitdiff
2021-03-02
Mathias Preiner
Remove non-ASCII characters from source files. (#6039)
tree
|
commitdiff
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
tree
|
commitdiff
2021-02-25
Mathias Preiner
Enable -Werror. (#5969)
tree
|
commitdiff
2021-02-23
Mathias Preiner
Switch to C++17. (#5959)
tree
|
commitdiff
2021-02-22
Gereon Kremer
(proof-new) Add new arithmetic kind INDEXED_ROOT_PREDIC...
tree
|
commitdiff
2021-02-17
Gereon Kremer
Add new IntegralHistogramStat (#5898)
tree
|
commitdiff
2021-02-01
Abdalrhman Mohamed
Avoid calling the printers while converting sexpr to...
tree
|
commitdiff
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
next