package info (click to toggle)
frama-c 20100401%2Bboron%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: squeeze
  • size: 12,908 kB
  • ctags: 19,772
  • sloc: ml: 117,445; ansic: 10,764; makefile: 1,706; lisp: 176; sh: 27

Folder: share

d .. (parent)
d d rwxr-xr-x 4,096 libc
d d rwxr-xr-x 4,096 why
- - rw-r--r-- 8,809 Makefile.common
- - rw-r--r-- 4,909 Makefile.config.in
- - rw-r--r-- 7,462 Makefile.dynamic
- - rw-r--r-- 1,975 Makefile.dynamic_config.external
- - rw-r--r-- 2,150 Makefile.dynamic_config.internal
- - rw-r--r-- 40,123 Makefile.kernel
- - rw-r--r-- 26,204 Makefile.plugin
- - rw-r--r-- 7,557 acsl.el
- - rw-r--r-- 2,749 builtin.c
- - rw-r--r-- 2,865 builtin.h
- - rw-r--r-- 18,399 configure.ac
- - rw-r--r-- 1,900 fluctuat.h
- - rw-r--r-- 6,979 frama-c.gif
- - rw-r--r-- 1,150 frama-c.ico
- - rw-r--r-- 2,284 frama-c.rc
- - rw-r--r-- 406 known_plugins.ac
- - rw-r--r-- 6,813 libc.c
- - rw-r--r-- 2,153 libc.h
- - rw-r--r-- 2,813 machine.h
- - rw-r--r-- 7,000 malloc.c
- - rw-r--r-- 1,912 math.c
- - rw-r--r-- 1,723 math.h