projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Improve theory combination over real algebraic models (#8045)
[cvc5.git]
/
src
/
util
/
2022-02-03
Aina Niemetz
Rename kind PLUS -> ADD. (#8036)
tree
|
commitdiff
2022-01-24
Gereon Kremer
Always compile RANs (#7979)
tree
|
commitdiff
2022-01-24
Gereon Kremer
Have RAN fall back to RANs (#7976)
tree
|
commitdiff
2022-01-13
Andres Noetzli
Unify abstract values and uninterpreted constants ...
tree
|
commitdiff
2022-01-12
Gereon Kremer
Always enable RAN, but disable its implementation witho...
tree
|
commitdiff
2022-01-12
Gereon Kremer
Add mkRealAlgebraicNumber (#7923)
tree
|
commitdiff
2022-01-10
Gereon Kremer
Add new methods for RealAlgebraicNumber (#7907)
tree
|
commitdiff
2022-01-10
Matthew Sotoudeh
Avoid gcc/10.1.0 bug by moving some configuration into...
tree
|
commitdiff
2021-12-14
Gereon Kremer
Fix issues with tracing builds (#7809)
tree
|
commitdiff
2021-12-10
Gereon Kremer
Allow for wildcards in `-t` (#7791)
tree
|
commitdiff
2021-12-04
Gereon Kremer
More robust fix for 32bit issues. (#7735)
tree
|
commitdiff
2021-12-03
Andres Noetzli
Faster hasing for `cvc5::String` (#7742)
tree
|
commitdiff
2021-12-02
Gereon Kremer
Add explicit 64bit getters for Integer class (#7728)
tree
|
commitdiff
2021-11-29
Gereon Kremer
Fix minor issues (#7704)
tree
|
commitdiff
2021-11-23
Gereon Kremer
Push output language inside the printing code (#7683)
tree
|
commitdiff
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
tree
|
commitdiff
2021-11-19
Mathias Preiner
Allow negative denominator for CLN Rationals constructe...
tree
|
commitdiff
2021-11-01
Gereon Kremer
Clean up CLN includes (#7544)
tree
|
commitdiff
2021-11-01
Gereon Kremer
Refactor DidYouMean (#7535)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
tree
|
commitdiff
2021-10-20
Abdalrhman Mohamed
Avoid escaping `double-quotes` twice. (#7409)
tree
|
commitdiff
2021-10-12
Ouyancheng
fix deprecation of std::iterator (#7332)
tree
|
commitdiff
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
next