https://github.com/seahorn/crab-llvm
Tip revision: 97ca2e031e4f252105d8d5db1b4d4518ae64dd15 authored by caballa on 24 June 2021, 23:56:26 UTC
refactor(cfgBuilder): generate debug info if assertion id available
refactor(cfgBuilder): generate debug info if assertion id available
Tip revision: 97ca2e0
| File | Mode | Size |
|---|---|---|
| .github | ||
| cmake | ||
| demo | ||
| docker | ||
| emacs-mode | ||
| include | ||
| lib | ||
| py | ||
| tests | ||
| tools | ||
| yaml-configurations | ||
| .clang-format | -rw-r--r-- | 83 bytes |
| .gitignore | -rw-r--r-- | 22 bytes |
| .travis.yml | -rw-r--r-- | 590 bytes |
| CMakeLists.txt | -rw-r--r-- | 17.0 KB |
| LICENSE | -rw-r--r-- | 11.1 KB |
| README.md | -rw-r--r-- | 4.4 KB |
| clam_arch.jpg | -rw-r--r-- | 72.0 KB |
