summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2020-09-30FloatingPoint: Add utility functions for largest and smallest subnormal. (#5166)Aina Niemetz
2020-09-22FP: Use Assert instead of AlwaysAssert in traits::(pre|post)condition. (#5121)Aina Niemetz
2020-09-22[Python API] Conversion to/from Unicode strings (#5120)Andres Noetzli
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-08Fix printing of fp values. (#5041)Mathias Preiner
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-08-31Fix spelling errors (#4977)FabianWolff
2020-07-21Preparations for a CAD-based arithmetic solver (#4762)Gereon Kremer
2020-07-17Replace options listener infrastructure (#4764)Andrew Reynolds
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-16Resource manager cleanup (#4732)Gereon Kremer
2020-07-16Remove cumulative time limits and cpu time limits (#4711)Gereon Kremer
2020-07-12Add support for string/sequence update (#4725)Andrew Reynolds
2020-07-02Remove SWIG bindings (#4683)Andres Noetzli
2020-06-29Add internal support for integer and operator (#4668)Andrew Reynolds
2020-06-25Remove sygus1 parser (#4651)Andrew Reynolds
2020-06-22get-authors: Add alias for nafur. (#4646)Aina Niemetz
2020-06-22Allow for better interaction of Integer/Rational with mpz_class/mpq_class. (#...nafur
2020-06-18Improve memory management in Java bindings (#4629)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-06-05Printing FP values as binary or indexed BVs according to option (#4554)Haniel Barbosa
2020-05-27Tweak the use of static_assert to support older compilers. (#4536)Martin
2020-05-26Fix an incorrect limit in conversion from real to float (#4418)Martin
2020-05-19Update enum and option names for sygus languages (#4388)Andrew Reynolds
2020-04-15Convert more cases of strings to words (#4206)Andrew Reynolds
2020-03-31Rename checkValid/query to checkEntailed. (#4191)Aina Niemetz
2020-03-30Rewrites for all remaining return statements in strings rewriter (#4178)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-03-27Move string utility file (#4164)Andrew Reynolds
2020-03-27Support unicode internal representation and escape sequences (#3852)Andrew Reynolds
2020-03-25Support async-signal-safe printing of inferences (#4148)Andres Noetzli
2020-03-10Fix issue with reset-assertions. (#3988)Aina Niemetz
2020-03-09Convert more uses of strings to words (#3921)Andrew Reynolds
2020-02-27Fix -Wshadow warnings in common headers (#3826)Andres Noetzli
2020-02-24Utilities for words (#3797)Andrew Reynolds
2020-02-20Remove unused code (#3782)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback