package info (click to toggle)
cbmc 5.12-5
  • links: PTS
  • area: main
  • in suites: bullseye, sid
  • size: 92,512 kB
  • sloc: cpp: 301,761; ansic: 51,699; java: 27,534; python: 5,113; yacc: 4,756; makefile: 3,184; lex: 2,749; sh: 1,347; perl: 555; xml: 404; pascal: 203; ada: 36

Folder: 5.12-5

show hidden (1)
d .. (parent)
d d rwxr-xr-x 31 .githooks
d d rwxr-xr-x 73 .github
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 88 cmake
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 doc
d d rwxr-xr-x 24 integration
d d rwxr-xr-x 156 java-models-library
d d rwxr-xr-x 119 jbmc
d d rwxr-xr-x 25 pkg
d d rwxr-xr-x 4,096 regression
d d rwxr-xr-x 4,096 scripts
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 4,096 unit
- - rw-r--r-- 2,530 .clang-format
- - rw-r--r-- 70 .clang-format-ignore
- - rw-r--r-- 141 .dir-locals.el
- - rw-r--r-- 263 .editorconfig
- - rw-r--r-- 125 .gitattributes
- - rw-r--r-- 3,507 .gitignore
- - rw-r--r-- 139 .gitmodules
- - rw-r--r-- 12,077 .travis.yml
- - rw-r--r-- 6,223 CHANGELOG
- - rw-r--r-- 6,778 CMakeLists.txt
- - rw-r--r-- 3,117 CODEOWNERS
- - rw-r--r-- 18,401 CODING_STANDARD.md
- - rw-r--r-- 10,991 COMPILING.md
- - rw-r--r-- 1,960 LICENSE
- - rw-r--r-- 3,734 MINI-PROJECTS.md
- - rw-r--r-- 2,966 README.md
- - rw-r--r-- 899 buildspec-linux-clang-3.8.yml
- - rw-r--r-- 1,580 buildspec-linux-clang.yml
- - rw-r--r-- 1,621 buildspec-linux-cmake-gcc-cov.yml
- - rw-r--r-- 856 buildspec-linux-cmake-gcc.yml
- - rw-r--r-- 1,828 buildspec-linux-make-gcc-cov.yml
- - rw-r--r-- 1,351 buildspec-msbuild.yml
- - rw-r--r-- 1,165 buildspec-windows-cmake.yml
- - rw-r--r-- 3,242 buildspec-windows.yml
- - rw-r--r-- 1,198 buildspec.yml
- - rw-r--r-- 2,336 gcloud-travis-cbmc.json.enc