https://github.com/sosy-lab/sv-benchmarks
Tip revision: 2e1723fde6aa65a250dcb677efa45edaa4b6b631 authored by Philipp Wendler on 03 October 2021, 15:45:16 UTC
Add note about moved repository to README
Add note about moved repository to README
Tip revision: 2e1723f
File | Mode | Size |
---|---|---|
.github | ||
.reuse | ||
LICENSES | ||
c | ||
clauses | ||
java | ||
.gitattributes | -rw-r--r-- | 682 bytes |
.gitignore | -rw-r--r-- | 260 bytes |
.gitlab-ci.yml | -rw-r--r-- | 4.2 KB |
.travis.yml | -rw-r--r-- | 1.6 KB |
CONTRIBUTING.md | -rw-r--r-- | 8.0 KB |
LICENSE.Apache-2.0.txt | l--------- | 23 bytes |
LICENSE.GPLv2.txt | -rw-r--r-- | 17.7 KB |
LICENSE.GPLv3.txt | -rw-r--r-- | 7.5 KB |
LICENSE.OpenSSL.txt | -rw-r--r-- | 5.6 KB |
LICENSE.PostgreSQL.txt | -rw-r--r-- | 1.0 KB |
README.md | -rw-r--r-- | 9.3 KB |
get_tasks_for_property.sh | -rwxr-xr-x | 1.2 KB |