summaryrefslogtreecommitdiff
path: root/test/unit/util/CMakeLists.txt
AgeCommit message (Expand)Author
2021-11-01Refactor DidYouMean (#7535)Gereon Kremer
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02google test: util: Migrate floatingpoint_black. (#6021)Aina Niemetz
2021-03-01google test: util: Migrate bitvector_black. (#6015)Aina Niemetz
2021-03-01google test: util: Migrate stats_black. (#6029)Aina Niemetz
2021-03-01google test: util: Migrate real_algebraic_number_black. (#6028)Aina Niemetz
2021-03-01google test: util: Migrate rational_white. (#6027)Aina Niemetz
2021-03-01google test: util: Migrate rational_black. (#6026)Aina Niemetz
2021-03-01google test: util: Migrate output_black. (#6025)Aina Niemetz
2021-03-01google test: util: Migrate integer_black. (#6023)Aina Niemetz
2021-03-01google test: util: Migrate datatype_black. (#6019)Aina Niemetz
2021-03-01google test: util: Migrate configuration_black. (#6018)Aina Niemetz
2021-03-01google test: util: Migrate boolean_simplification_black. (#6014)Aina Niemetz
2021-03-01google test: util: Migrate array_store_all_white. (#6008)Aina Niemetz
2021-03-01google test: util: Migrate integer_white. (#6024)Aina Niemetz
2021-02-27google test: util: Migrate exception_black. (#6020)Aina Niemetz
2021-02-27google test: util: Migrate check_white. (#6017)Aina Niemetz
2021-02-27google test: util: Migrate cardinality_black. (#6016)Aina Niemetz
2021-02-26google test: util: Migrate binary_heap_black. (#6012)Aina Niemetz
2021-02-26google test: util: Migrate assert_white. (#6011)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
2020-12-01google test: Infrastructure and first api test. (#5548)Aina Niemetz
2020-10-07fix unit failures on debug without symfpu (#5212)yoni206
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-07-17Replace options listener infrastructure (#4764)Andrew Reynolds
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-07-13Use TypeNode/Node in ArrayStoreAll (#4728)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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback