author | Gereon Kremer <nafur42@gmail.com> | |
Thu, 7 Oct 2021 14:51:09 +0000 (07:51 -0700) | ||
committer | GitHub <noreply@github.com> | |
Thu, 7 Oct 2021 14:51:09 +0000 (14:51 +0000) | ||
commit | bd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4 | |
tree | a0195e7bb0daab6fe8ba063bac628ccb1a0acf95 | tree |
parent | 22ab38c4a3bad18129c740968b36af8c378c4294 | commit | diff |
CMakeLists.txt | diff | blob | history | |
cmake/version-base.cmake | [new file with mode: 0644] | blob |
cmake/version-base.cmake.template | [new file with mode: 0644] | blob |
cmake/version.cmake | [new file with mode: 0644] | blob |
contrib/make-release.py | [new file with mode: 0755] | blob |
src/CMakeLists.txt | diff | blob | history | |
src/api/java/CMakeLists.txt | diff | blob | history | |
src/api/python/setup.py.in | diff | blob | history | |
src/base/CMakeLists.txt | diff | blob | history | |
src/base/GitInfo.cmake.in | [deleted file] | blob | history |
src/base/configuration.cpp | diff | blob | history | |
src/base/configuration.h | diff | blob | history | |
src/base/cvc5config.h.in | diff | blob | history | |
src/base/git_versioninfo.cpp.in | [deleted file] | blob | history |
src/base/versioninfo.cpp.in | [new file with mode: 0644] | blob |
src/main/driver_unified.cpp | diff | blob | history | |
src/options/options_handler.cpp | diff | blob | history | |
test/unit/util/configuration_black.cpp | diff | blob | history |