https://github.com/z3prover/z3
Tip revision: 23d08b710804984789c4cdbf92936ba8e195b846 authored by jofleish on 15 August 2022, 19:22:15 UTC
Merge branch 'jfleisher/githubpipeline' into jfleisher/devIntellitest
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 |