https://github.com/z3prover/z3
History
Tip revision: 23d08b710804984789c4cdbf92936ba8e195b846 authored by jofleish on 15 August 2022, 19:22:15 UTC
Merge branch 'jfleisher/githubpipeline' into jfleisher/devIntellitest
Tip revision: 23d08b7
File Mode Size
.github
cmake
contrib
doc
docker
examples
noarch
resources
scripts
src
.dockerignore -rw-r--r-- 39 bytes
.gitattributes -rw-r--r-- 138 bytes
.gitignore -rw-r--r-- 1.6 KB
CMakeLists.txt -rw-r--r-- 24.5 KB
LICENSE.txt -rw-r--r-- 1.1 KB
README-CMake.md -rw-r--r-- 18.0 KB
README.md -rw-r--r-- 7.9 KB
RELEASE_NOTES.md -rw-r--r-- 51.1 KB
azure-pipelines.yml -rw-r--r-- 10.1 KB
configure -rwxr-xr-x 418 bytes
package-lock.json -rw-r--r-- 928 bytes
z3.pc.cmake.in -rw-r--r-- 352 bytes

README.md

back to top