summaryrefslogtreecommitdiff
path: root/src/util
AgeCommit message (Expand)Author
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
2020-02-19resource manager: Add statistic for every resource. (#3772)Mathias Preiner
2020-01-29Fix isLeq function in String utility (#3659)Andrew Reynolds
2020-01-10Fix printing of models of uninterpreted sorts (#3597)Andres Noetzli
2019-12-23Initial support for string reverse (#3581)Andrew Reynolds
2019-11-18Use -Wimplicit-fallthrough (#3464)Andres Noetzli
2019-11-08cmake: Disable C++ GNU extensions. (#3446)Mathias Preiner
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-09-06Remove SMT1 parser. (#3228)Mathias Preiner
2019-07-31Eager conflict detection in strings based on constant prefix/suffix (#3110)Andrew Reynolds
2019-07-22Avoid move constructor of std::fstream for GCC < 5 (#3098)Andres Noetzli
2019-07-01Support sygus version 2 format (#3066)Andrew Reynolds
2019-06-21Add floating-point support in the Java API (#3063)Andres Noetzli
2019-06-21Use TMPDIR environment variable for temp files (#2849)Andres Noetzli
2019-06-02Enable SymFPU assertions in production (#3036)Andres Noetzli
2019-05-15Fix iterators in Java API (#3000)Andres Noetzli
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2019-03-18BitVector: Allow base 10 in constructor. (#2870)Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback