package info (click to toggle)
cbmc 4.9-4
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 40,588 kB
  • ctags: 19,198
  • sloc: cpp: 185,860; ansic: 16,162; yacc: 5,343; lex: 4,518; makefile: 954; pascal: 506; sh: 318; perl: 213; java: 206

Folder: .pc

d .. (parent)
d d rwxr-xr-x 24 0001-Indexed-access-to-vector-elements-for-any-endianness.patch
d d rwxr-xr-x 24 0002-Fix-endianness-maps-for-bitfields.patch
d d rwxr-xr-x 45 0003-Big-endian-support-for-unions-in-all-contexts.patch
d d rwxr-xr-x 45 0004-SH-4-doesn-t-have-FE_UPWARD-FE_DOWNWARD-rounding-mod.patch
d d rwxr-xr-x 24 0005-ARM64-to-be-identified-by-__aarch64__.patch
d d rwxr-xr-x 31 big-endian-knownbugs2
d d rwxr-xr-x 24 minisat-debian
d d rwxr-xr-x 16 workaround-764573
- - rw-r--r-- 15 .quilt_patches
- - rw-r--r-- 7 .quilt_series
- - rw-r--r-- 2 .version
- - rw-r--r-- 334 applied-patches