summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-06-15Remove public option wrappers (#6716)Gereon Kremer
2021-06-02Remove `Options::operator[]` (#6649)Gereon Kremer
2021-05-27FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD. (#6628)Aina Niemetz
2021-05-26 More precise includes of `Node` constants (#6617)Andres Noetzli
2021-05-20Add more getters for api::Term (#6496)Gereon Kremer
2021-05-07Add support for datatype update (#6449)Andrew Reynolds
2021-04-28Refactor resource manager options (#6446)Gereon Kremer
2021-04-28Remove exception headers from options.h (#6456)Gereon Kremer
2021-04-28Make sure reference stats are reset properly (#6457)Gereon Kremer
2021-04-26Protect int stats methods (#6442)Gereon Kremer
2021-04-23Make sure a ReferenceStat is set to values of the correct type (#6430)Gereon Kremer
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-20Add InferenceId as resources (#6339)Gereon Kremer
2021-04-16Replace SExpr class by simpler conversion routines (#6363)Gereon Kremer
2021-04-15Avoid options listener for resource manager. (#6366)Gereon Kremer
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-15Fix printing of stats when aborted. (#6362)Gereon Kremer
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-12Fix computation of whether a type is finite (#6312)Andrew Reynolds
2021-04-12Refactor resource manager (#6322)Gereon Kremer
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-07Add cardinality class definition (#6302)Andrew Reynolds
2021-04-02New statistics registry (#6210)Gereon Kremer
2021-04-01Add utility classes for new statistics (#6178)Gereon Kremer
2021-04-01FP: Factor out symfpu traits. (#6246)Aina Niemetz
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-29FloatingPointLiteral: Constructor for special consts. (#6220)Aina Niemetz
2021-03-26FloatingPointLiteral: Make constructors that shouldn't be used outside of Flo...Aina Niemetz
2021-03-25FP: Refactor FloatingPointLiteral in preparation for MPFR. (#6206)Aina Niemetz
2021-03-22FP: Add documentation for FloatingPointLiteral constructors. (#6183)Aina Niemetz
2021-03-19BitVector: Change setBit to set the bit in place. (#6176)Aina Niemetz
2021-03-19FP: Use setBit instead of bv or in conversion from Real. (#6177)Aina Niemetz
2021-03-16cmake: Generate cvc4_export.h and set visibility to hidden. (#6139)Mathias Preiner
2021-03-15Replace HistogramStat by IntegralHistogramStat (#6126)Gereon Kremer
2021-03-11First refactoring of statistics classes (#6105)Gereon Kremer
2021-03-11Use CVC4_ASSERTIONS instead of NDEBUG. (#6099)Mathias Preiner
2021-03-10Use Assert instead of assert. (#6095)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-04New C++ API: Clean up usage of internal Result. (#6043)Aina Niemetz
2021-03-03More cleanup of includes to reduce compilation times (#6037)Gereon Kremer
2021-03-02Remove non-ASCII characters from source files. (#6039)Mathias Preiner
2021-03-02Clean up includes to reduce compile times (#6031)Gereon Kremer
2021-02-24Enable -Werror. (#5969)Mathias Preiner
2021-02-23Switch to C++17. (#5959)Mathias Preiner
2021-02-22(proof-new) Add new arithmetic kind INDEXED_ROOT_PREDICATE. (#5949)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback