https://github.com/seahorn/seahorn
Tip revision: 2bab7831960766a0a16f149adcdce55f0651eb8f authored by caballa on 11 August 2023, 00:48:27 UTC
chore: adapt to changes in Clam API
chore: adapt to changes in Clam API
Tip revision: 2bab783
| File | Mode | Size |
|---|---|---|
| .github | ||
| clion-config | ||
| cmake | ||
| deps | ||
| docker | ||
| include | ||
| lib | ||
| play | ||
| py | ||
| scripts | ||
| sea-rt | ||
| share | ||
| test | ||
| tools | ||
| units | ||
| .clang-format | -rw-r--r-- | 83 bytes |
| .commitlintrc.yml | -rw-r--r-- | 51 bytes |
| .dir-locals.el | -rw-r--r-- | 429 bytes |
| .dockerignore | -rw-r--r-- | 52 bytes |
| .gitignore | -rw-r--r-- | 338 bytes |
| .travis.yml | -rw-r--r-- | 3.2 KB |
| CLion-configuration.md | -rw-r--r-- | 5.3 KB |
| CMakeLists.txt | -rw-r--r-- | 13.5 KB |
| CMakePresets.json | -rw-r--r-- | 3.2 KB |
| README.md | -rw-r--r-- | 19.5 KB |
| azure-pipelines.yml | -rw-r--r-- | 931 bytes |
| contributors.txt | -rw-r--r-- | 43 bytes |
| license.txt | -rw-r--r-- | 2.3 KB |
