https://github.com/staticafi/symbiotic
Tip revision: 7ba60a1e715ef0d5f261c9b2f032a00d96b4d053 authored by Lukáš Zaoral on 21 December 2022, 10:33:28 UTC
CI: replace Ubuntu 18.04 with Ubuntu 20.04
CI: replace Ubuntu 18.04 with Ubuntu 20.04
Tip revision: 7ba60a1
File | Mode | Size |
---|---|---|
.github | ||
dg @ 4b374e5 | ||
docs | ||
include | ||
klee @ b71309b | ||
lib | ||
llvm2c @ e46b0ba | ||
patches | ||
properties | ||
sbt-instrumentation @ 9ab2a59 | ||
sbt-slicer @ 9636fad | ||
scripts | ||
tests | ||
transforms | ||
.gitignore | -rw-r--r-- | 251 bytes |
.gitmodules | -rw-r--r-- | 487 bytes |
.travis.yml | -rw-r--r-- | 1.6 KB |
CMakeLists.txt | -rw-r--r-- | 476 bytes |
Dockerfile | -rw-r--r-- | 723 bytes |
LICENSE.txt | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 12.4 KB |
build.sh | -rwxr-xr-x | 26.5 KB |
system-build.sh | -rwxr-xr-x | 14.2 KB |