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 |
