package info (click to toggle)
linux 6.1.8-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,488,076 kB
  • sloc: ansic: 23,401,844; asm: 266,744; sh: 108,976; makefile: 49,705; python: 36,927; perl: 36,810; cpp: 6,044; yacc: 4,904; lex: 2,722; awk: 1,440; ruby: 25; sed: 5

Folder: srcu-cbmc

d .. (parent)
d d rwxr-xr-x 41 empty_includes
d d rwxr-xr-x 26 include
d d rwxr-xr-x 4,096 src
d d rwxr-xr-x 61 tests
- - rw-r--r-- 47 .gitignore
- - rw-r--r-- 462 Makefile
- - rwxr-xr-x 8,964 modify_srcu.awk