summaryrefslogtreecommitdiff
path: root/test/unit/util
AgeCommit message (Expand)Author
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-10-07fix unit failures on debug without symfpu (#5212)yoni206
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-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-08-06Updates not related to creation for eliminating Expr-level datatype (#4838)Andrew Reynolds
2020-07-17Replace options listener infrastructure (#4764)Andrew Reynolds
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-15Use TypeNode in UninterpretedConstant (#4748)Andres Noetzli
2020-07-13Use TypeNode/Node in ArrayStoreAll (#4728)Andres Noetzli
2020-06-29Make ExprManager constructor private (#4669)Andres Noetzli
2020-06-16Update copyright headers.Aina Niemetz
2020-03-06Remove tester name from APIs (#3929)Andrew Reynolds
2019-12-06Add ExprManager as argument to Datatype (#3535)Andrew Reynolds
2019-11-17Updates to the unit tests, api, and examples for datatypes (#3459)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-09test: Add TS_UTILS_EXPECT_ABORT macro for unit tests. (#3378)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-10-02Fix "catching polymorphic type by value" warnings (#2556)Andres Noetzli
2018-09-22cmake: Refactor cvc4_add_unit_test macro to support test names with '/'.Aina Niemetz
2018-09-22cmake: More documentation, clean up.Aina Niemetz
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
2018-08-23Add missing overrides in unit tests (#2362)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-03-06Remove printf from output utilities (#1629)Andres Noetzli
2018-02-23Add unit tests for BitVector, minor BV rewrite fix (#1622)Andres Noetzli
2018-02-09Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular ...Tim King
2018-02-07Adds a new CHECK macro that abort()s on failure. (#1532)Tim King
2017-11-09Add modular arithmetic operators. (#1321)Aina Niemetz
2017-09-14Remove unhandled subtypes (#1098)Andrew Reynolds
2017-08-21Change Bugzilla urls to Github issues.Mathias Preiner
2017-07-12Fix unit tests for subranges. Fix destructors for context objs in unit tests.ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-05-13Fix out-of-bounds access in testAndres Notzli
2017-05-12Make signal handlers saferAndres Notzli
2017-03-02Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole...ajreynol
2016-11-07Changing ArrayStoreAll's constructor to delay allocation until it is done che...Tim King
2016-11-04Fix three leaks in unit testsAndres Notzli
2016-04-20update from the masterPaulMeng
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-18Modifying emptyset.h and sexpr. Adding SetLanguage.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-02-14Fix unit tests.ajreynol
2014-10-17Merge branch '1.4.x'Morgan Deters
2014-10-17Remove a bad (unstable, timing-dependent) test.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback