package info (click to toggle)
cbmc 5.10-5
  • links: PTS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 73,416 kB
  • sloc: cpp: 264,330; ansic: 38,268; java: 19,025; python: 4,539; yacc: 4,275; makefile: 2,547; lex: 2,394; sh: 932; perl: 525; xml: 289; pascal: 169

Folder: 5.10-5

show hidden (1)
d .. (parent)
d d rwxr-xr-x 23 .githooks
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 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,819 .clang-format
- - rw-r--r-- 141 .dir-locals.el
- - rw-r--r-- 263 .editorconfig
- - rw-r--r-- 125 .gitattributes
- - rw-r--r-- 3,151 .gitignore
- - rw-r--r-- 139 .gitmodules
- - rw-r--r-- 12,088 .travis.yml
- - rw-r--r-- 6,223 CHANGELOG
- - rw-r--r-- 2,258 CMakeLists.txt
- - rw-r--r-- 2,550 CODEOWNERS
- - rw-r--r-- 15,681 CODING_STANDARD.md
- - rw-r--r-- 9,385 COMPILING.md
- - rw-r--r-- 1,960 LICENSE
- - rw-r--r-- 2,138 README.md
- - rw-r--r-- 5,482 appveyor.yml
- - rw-r--r-- 4,035 buildspec-windows.yml
- - rw-r--r-- 1,143 buildspec.yml
- - rw-r--r-- 2,336 gcloud-travis-cbmc.json.enc