summaryrefslogtreecommitdiff
path: root/src/util/CMakeLists.txt
AgeCommit message (Expand)Author
2021-08-17Replace `Maybe` with `std::optional` (#7005)Andres Noetzli
2021-06-16Make symfpu a required dependency. (#6749)Aina Niemetz
2021-05-26 More precise includes of `Node` constants (#6617)Andres Noetzli
2021-05-07Add support for datatype update (#6449)Andrew Reynolds
2021-04-21Goodbye CVC4, hello cvc5! (#6371)Mathias Preiner
2021-04-14Refactor / reimplement statistics (#6162)Gereon Kremer
2021-04-12Fix computation of whether a type is finite (#6312)Andrew Reynolds
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
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-03-11First refactoring of statistics classes (#6105)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-12-02Update copyright headers.Aina Niemetz
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-19floatingpoint.h: Split in preparation to cleanly separate symFPU glue code. (...Aina Niemetz
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-09-01Removes old proof code (#4964)Haniel Barbosa
2020-07-17Integration of libpoly (#4679)Gereon Kremer
2020-06-29Add internal support for integer and operator (#4668)Andrew Reynolds
2020-03-30Support indexed operators re.loop and re.^ (#4167)Andrew Reynolds
2020-03-27Move string utility file (#4164)Andrew Reynolds
2020-02-20Remove unused code (#3782)Andres Noetzli
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-06-21Use TMPDIR environment variable for temp files (#2849)Andres Noetzli
2018-09-22cmake: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
2018-09-22cmake: Move find_package to where it is actually needed.Mathias Preiner
2018-09-22cmake: Rebase with current master, add new tests/source files.Mathias Preiner
2018-09-22cmake: Cleanup CMakeLists.txt files, remove SHARED.Mathias Preiner
2018-09-22cmake: Add module finder for CLN.Mathias Preiner
2018-09-22cmake: Added missing dependency for src/utilAina Niemetz
2018-09-22cmake: Working build infrastructure.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina 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