summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2021-02-17Add new IntegralHistogramStat (#5898)Gereon Kremer
2021-02-01Avoid calling the printers while converting sexpr to string. (#5842)Abdalrhman Mohamed
2020-12-15Add getters to retrieve constants from api::Term (#5677)Gereon Kremer
2020-12-02Update copyright headers.Aina Niemetz
2020-12-01Remove use of this-> in FP literal. (#5565)Aina Niemetz
2020-11-30floatingpoint: Use unique_ptr for FloatingPointLiteral pointer. (#5503)Aina Niemetz
2020-11-20Rename symfpu_literal.(h.in|cpp) -> floatingpoint_literal_symfpu.(h.in|cpp). ...Aina Niemetz
2020-11-20Rename floatingpoint.h.in -> floatingpoin.h. (#5500)Aina Niemetz
2020-11-20RoundingMode: Rename enum values to conform to code style guidelines. (#5494)Aina Niemetz
2020-11-20FloatingPoint: Separate out symFPU glue code. (#5492)Aina Niemetz
2020-11-19floatingpoint.h: Split in preparation to cleanly separate symFPU glue code. (...Aina Niemetz
2020-11-19Include stddef.h (needed for size_t) in cvc4_public.h (#5476)Aina Niemetz
2020-11-17FloatingPoint: Use uint32_t instead of unsigned. (#5459)Aina Niemetz
2020-11-17FloatingPoint: Clean up and document header, format. (#5453)Aina Niemetz
2020-11-16Improve accuracy of resource limitation (#4763)Gereon Kremer
2020-10-20Integer (CLN): Minor improvements. (#5306)Aina Niemetz
2020-10-19Integer: CLN: Move implementation of member functions to .cpp file. (#5304)Aina Niemetz
2020-10-05Integer: GMP: Move implementation of member functions to .cpp file. (#5190)Aina Niemetz
2020-10-01FloatingPoint: Add utility functions for largest and smallest normal. (#5174)Aina Niemetz
2020-09-30BitVector: Extend interface of setBit to set it to a specific value. (#5173)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback