https://github.com/seahorn/seahorn
Tip revision: 7aba115d201985cb11d866e19a515b324ed8b037 authored by caballa on 14 September 2022, 19:48:16 UTC
feat: port to LLVM 11
feat: port to LLVM 11
Tip revision: 7aba115
| 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-- | 317 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 |
| README.md | -rw-r--r-- | 18.0 KB |
| azure-pipelines.yml | -rw-r--r-- | 931 bytes |
| contributors.txt | -rw-r--r-- | 43 bytes |
| license.txt | -rw-r--r-- | 2.3 KB |
