summaryrefslogtreecommitdiff
path: root/src/util/CMakeLists.txt
AgeCommit message (Expand)Author
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