projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Eliminate Output macro in favor of simple Env functions (#7223)
[cvc5.git] / src / util /
2021-09-11 Gereon KremerUse StatisticsRegistry from Env (#7166) tree | commitdiff
2021-09-01 Gereon KremerMake driver::totalTime a TimerStat (#7089) tree | commitdiff
2021-08-30 Gereon KremerRefactor filename handling (#7088) tree | commitdiff
2021-08-26 Gereon KremerConsolidate language types (#7065) tree | commitdiff
2021-08-17 Andres NoetzliReplace `Maybe` with `std::optional` (#7005) tree | commitdiff
2021-08-05 Alex OzdemirNormalize val in BitVector(val_str, base) (#6955) tree | commitdiff
2021-07-27 Andrew ReynoldsMinor changes from proof-new (#6937) tree | commitdiff
2021-06-16 Aina NiemetzMake symfpu a required dependency. (#6749) tree | commitdiff
2021-06-15 Gereon KremerRemove public option wrappers (#6716) tree | commitdiff
2021-06-02 Gereon KremerRemove `Options::operator[]` (#6649) tree | commitdiff
2021-05-27 Aina NiemetzFP: 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 KremerAdd more getters for api::Term (#6496) tree | commitdiff
2021-05-08 Andrew ReynoldsAdd support for datatype update (#6449) tree | commitdiff
2021-04-28 Gereon KremerRefactor resource manager options (#6446) tree | commitdiff
2021-04-28 Gereon KremerRemove exception headers from options.h (#6456) tree | commitdiff
2021-04-28 Gereon KremerMake sure reference stats are reset properly (#6457) tree | commitdiff
2021-04-26 Gereon KremerProtect int stats methods (#6442) tree | commitdiff
2021-04-23 Gereon KremerMake sure a ReferenceStat is set to values of the corre... tree | commitdiff
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) tree | commitdiff
2021-04-20 Gereon KremerAdd InferenceId as resources (#6339) tree | commitdiff
2021-04-16 Gereon KremerReplace SExpr class by simpler conversion routines... tree | commitdiff
2021-04-15 Gereon KremerAvoid options listener for resource manager. (#6366) tree | commitdiff
2021-04-15 Aina NiemetzRename occurrences of CVC4 to CVC5. (#6351) tree | commitdiff
2021-04-15 Gereon KremerFix printing of stats when aborted. (#6362) tree | commitdiff
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) tree | commitdiff
2021-04-14 Aina NiemetzRename public and private headers in src/include. ... tree | commitdiff
2021-04-12 Andrew ReynoldsFix computation of whether a type is finite (#6312) tree | commitdiff
2021-04-12 Gereon KremerRefactor resource manager (#6322) tree | commitdiff
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) tree | commitdiff
2021-04-10 Aina NiemetzRename CVC4_ macros to CVC5_. (#6327) tree | commitdiff
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) tree | commitdiff
2021-04-07 Andrew ReynoldsAdd cardinality class definition (#6302) tree | commitdiff
2021-04-02 Gereon KremerNew statistics registry (#6210) tree | commitdiff
2021-04-01 Gereon KremerAdd utility classes for new statistics (#6178) tree | commitdiff
2021-04-01 Aina NiemetzFP: Factor out symfpu traits. (#6246) tree | commitdiff
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) tree | commitdiff
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) tree | commitdiff
2021-03-29 Aina NiemetzFloatingPointLiteral: Constructor for special consts... tree | commitdiff
2021-03-26 Aina NiemetzFloatingPointLiteral: Make constructors that shouldn... tree | commitdiff
2021-03-25 Aina NiemetzFP: Refactor FloatingPointLiteral in preparation for... tree | commitdiff
2021-03-22 Aina NiemetzFP: Add documentation for FloatingPointLiteral construc... tree | commitdiff
2021-03-19 Aina NiemetzBitVector: Change setBit to set the bit in place. ... tree | commitdiff
2021-03-19 Aina NiemetzFP: Use setBit instead of bv or in conversion from... tree | commitdiff
2021-03-16 Mathias Preinercmake: Generate cvc4_export.h and set visibility to... tree | commitdiff
2021-03-15 Gereon KremerReplace HistogramStat by IntegralHistogramStat (#6126) tree | commitdiff
2021-03-11 Gereon KremerFirst refactoring of statistics classes (#6105) tree | commitdiff
2021-03-11 Mathias PreinerUse CVC4_ASSERTIONS instead of NDEBUG. (#6099) tree | commitdiff
2021-03-10 Mathias PreinerUse Assert instead of assert. (#6095) tree | commitdiff
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) tree | commitdiff
2021-03-04 Aina NiemetzNew C++ API: Clean up usage of internal Result. (#6043) tree | commitdiff
2021-03-03 Gereon KremerMore cleanup of includes to reduce compilation times... tree | commitdiff
2021-03-02 Mathias PreinerRemove non-ASCII characters from source files. (#6039) tree | commitdiff
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) tree | commitdiff
2021-02-25 Mathias PreinerEnable -Werror. (#5969) tree | commitdiff
2021-02-23 Mathias PreinerSwitch 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 KremerAdd new IntegralHistogramStat (#5898) tree | commitdiff
2021-02-01 Abdalrhman MohamedAvoid calling the printers while converting sexpr to... tree | commitdiff
2020-12-15 Gereon KremerAdd getters to retrieve constants from api::Term (... tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-12-02 Aina NiemetzRemove use of this-> in FP literal. (#5565) tree | commitdiff
2020-11-30 Aina Niemetzfloatingpoint: Use unique_ptr for FloatingPointLiteral... tree | commitdiff
2020-11-21 Aina NiemetzRename symfpu_literal.(h.in|cpp) -> floatingpoint_liter... tree | commitdiff
2020-11-21 Aina NiemetzRename floatingpoint.h.in -> floatingpoin.h. (#5500) tree | commitdiff
2020-11-20 Aina NiemetzRoundingMode: Rename enum values to conform to code... tree | commitdiff
2020-11-20 Aina NiemetzFloatingPoint: Separate out symFPU glue code. (#5492) tree | commitdiff
2020-11-19 Aina Niemetzfloatingpoint.h: Split in preparation to cleanly separa... tree | commitdiff
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... tree | commitdiff
2020-11-18 Aina NiemetzFloatingPoint: Use uint32_t instead of unsigned. (... tree | commitdiff
2020-11-18 Aina NiemetzFloatingPoint: Clean up and document header, format... tree | commitdiff
2020-11-16 Gereon KremerImprove accuracy of resource limitation (#4763) tree | commitdiff
2020-10-20 Aina NiemetzInteger (CLN): Minor improvements. (#5306) tree | commitdiff
2020-10-19 Aina NiemetzInteger: CLN: Move implementation of member functions... tree | commitdiff
2020-10-05 Aina NiemetzInteger: GMP: Move implementation of member functions... tree | commitdiff
2020-10-01 Aina NiemetzFloatingPoint: Add utility functions for largest and... tree | commitdiff
2020-10-01 Aina NiemetzBitVector: Extend interface of setBit to set it to... tree | commitdiff
2020-09-30 Aina NiemetzFloatingPoint: Add utility functions for largest and... tree | commitdiff
2020-09-23 Aina NiemetzFP: 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 PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-08 Mathias PreinerFix printing of fp values. (#5041) tree | commitdiff
2020-09-01 Haniel BarbosaRemoves old proof code (#4964) tree | commitdiff
2020-09-01 FabianWolffFix spelling errors (#4977) tree | commitdiff
2020-07-21 Gereon KremerPreparations for a CAD-based arithmetic solver (#4762) tree | commitdiff
2020-07-17 Andrew ReynoldsReplace options listener infrastructure (#4764) tree | commitdiff
2020-07-17 Gereon KremerIntegration of libpoly (#4679) tree | commitdiff
2020-07-16 Gereon KremerResource manager cleanup (#4732) tree | commitdiff
2020-07-16 Gereon KremerRemove cumulative time limits and cpu time limits ... tree | commitdiff
2020-07-13 Andrew ReynoldsAdd support for string/sequence update (#4725) tree | commitdiff
2020-07-03 Andres NoetzliRemove SWIG bindings (#4683) tree | commitdiff
2020-06-30 Andrew ReynoldsAdd internal support for integer and operator (#4668) tree | commitdiff
2020-06-25 Andrew ReynoldsRemove sygus1 parser (#4651) tree | commitdiff
2020-06-22 Aina Niemetzget-authors: Add alias for nafur. (#4646) tree | commitdiff
2020-06-22 nafurAllow for better interaction of Integer/Rational with... tree | commitdiff
2020-06-18 Andres NoetzliImprove memory management in Java bindings (#4629) tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-05 Haniel BarbosaPrinting FP values as binary or indexed BVs according... tree | commitdiff
2020-05-27 MartinTweak the use of static_assert to support older compile... tree | commitdiff
2020-05-26 MartinFix an incorrect limit in conversion from real to float... tree | commitdiff
next