package info (click to toggle)
cbmc 5.6-1
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 57,432 kB
  • sloc: cpp: 212,901; ansic: 48,158; yacc: 4,209; java: 3,971; lex: 2,264; makefile: 1,504; sh: 865; python: 649; perl: 421; pascal: 403; xml: 24

Folder: 5.6-1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 79 doc
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-- 125 .gitattributes
- - rw-r--r-- 1,912 .gitignore
- - rw-r--r-- 727 .travis.yml
- - rw-r--r-- 2,336 CHANGELOG
- - rw-r--r-- 634 CODING_STANDARD
- - rw-r--r-- 5,032 COMPILING
- - rw-r--r-- 1,960 LICENSE
- - rw-r--r-- 861 README.md