summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
2021-12-02Add explicit 64bit getters for Integer class (#7728)Gereon Kremer
2021-11-29Fix minor issues (#7704)Gereon Kremer
2021-11-23Push output language inside the printing code (#7683)Gereon Kremer
2021-11-22Refactor IO stream manipulators (#7555)Gereon Kremer
2021-11-19Allow negative denominator for CLN Rationals constructed from string. (#7667)Mathias Preiner
2021-11-01Clean up CLN includes (#7544)Gereon Kremer
2021-11-01Refactor DidYouMean (#7535)Gereon Kremer
2021-10-21Working on windows builds (#7381)Gereon Kremer
2021-10-20Avoid escaping `double-quotes` twice. (#7409)Abdalrhman Mohamed
2021-10-12fix deprecation of std::iterator (#7332)Ouyancheng
2021-09-30Rename SmtEngine to SolverEngine. (#7282)Aina Niemetz
2021-09-11Use StatisticsRegistry from Env (#7166)Gereon Kremer
2021-09-01Make driver::totalTime a TimerStat (#7089)Gereon Kremer
2021-08-30Refactor filename handling (#7088)Gereon Kremer
2021-08-26Consolidate language types (#7065)Gereon Kremer
2021-08-17Replace `Maybe` with `std::optional` (#7005)Andres Noetzli
2021-08-05Normalize val in BitVector(val_str, base) (#6955)Alex Ozdemir
2021-07-27Minor changes from proof-new (#6937)Andrew Reynolds
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback