/usr/share/frama-c/ is in frama-c-base 20111001+nitrogen+dfsg-3.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/frama-c/Makefile.common
|
text/plain | root:root | 0o644 | 10.5 KB |
/usr/share/frama-c/Makefile.config
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/frama-c/Makefile.dynamic
|
text/plain | root:root | 0o644 | 8.7 KB |
/usr/share/frama-c/Makefile.dynamic_config
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/Makefile.kernel
|
text/plain | root:root | 0o644 | 36.5 KB |
/usr/share/frama-c/Makefile.plugin
|
text/plain | root:root | 0o644 | 28.7 KB |
/usr/share/frama-c/acsl.el
|
text/x-lisp | root:root | 0o644 | 7.4 KB |
/usr/share/frama-c/builtin.c
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/share/frama-c/builtin.h
|
text/x-c | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/check.png
|
image/png | root:root | 0o644 | 32.4 KB |
/usr/share/frama-c/configure.ac
|
text/plain | root:root | 0o644 | 18.4 KB |
/usr/share/frama-c/doc/
|
root:root | 0o755 | ||
/usr/share/frama-c/doc/code/
|
root:root | 0o755 | ||
/usr/share/frama-c/doc/code/intro_kernel_plugin.txt
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/doc/code/intro_plugin.txt
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/doc/code/style.css
|
text/x-asm | root:root | 0o644 | 5.4 KB |
/usr/share/frama-c/doc/code/toc_head.htm
|
text/html | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/doc/code/toc_tail.htm
|
text/html | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/failed.png
|
image/png | root:root | 0o644 | 70.0 KB |
/usr/share/frama-c/feedback/
|
root:root | 0o755 | ||
/usr/share/frama-c/feedback/considered_valid.png
|
image/png | root:root | 0o644 | 733 bytes |
/usr/share/frama-c/feedback/inconsistent.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/frama-c/feedback/invalid_but_dead.png
|
image/png | root:root | 0o644 | 700 bytes |
/usr/share/frama-c/feedback/invalid_under_hyp.png
|
image/png | root:root | 0o644 | 728 bytes |
/usr/share/frama-c/feedback/never_tried.png
|
image/png | root:root | 0o644 | 658 bytes |
/usr/share/frama-c/feedback/surely_invalid.png
|
image/png | root:root | 0o644 | 666 bytes |
/usr/share/frama-c/feedback/surely_valid.png
|
image/png | root:root | 0o644 | 693 bytes |
/usr/share/frama-c/feedback/unknown.png
|
image/png | root:root | 0o644 | 718 bytes |
/usr/share/frama-c/feedback/unknown_but_dead.png
|
image/png | root:root | 0o644 | 710 bytes |
/usr/share/frama-c/feedback/valid_but_dead.png
|
image/png | root:root | 0o644 | 710 bytes |
/usr/share/frama-c/feedback/valid_under_hyp.png
|
image/png | root:root | 0o644 | 778 bytes |
/usr/share/frama-c/fluctuat.h
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/frama-c.gif
|
image/gif | root:root | 0o644 | 6.8 KB |
/usr/share/frama-c/frama-c.ico
|
image/x-icon | root:root | 0o644 | 1.1 KB |
/usr/share/frama-c/frama-c.rc
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/left.png
|
image/png | root:root | 0o644 | 41.7 KB |
/usr/share/frama-c/libc/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc.c
|
text/x-c | root:root | 0o644 | 6.6 KB |
/usr/share/frama-c/libc.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/__fc_builtin.c
|
text/x-c | root:root | 0o644 | 2.7 KB |
/usr/share/frama-c/libc/__fc_builtin.h
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/share/frama-c/libc/__fc_define_blkcnt_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_blksize_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_dev_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_ino_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_intptr_t.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_iovec.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_mode_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_nlink_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_null.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_off_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_pid_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_restrict.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/__fc_define_size_t.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_ssize_t.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_suseconds_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_time_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_uid_and_gid.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_useconds_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_define_wchar_t.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/__fc_machdep.h
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/libc/__fc_string_axiomatic.h
|
text/x-c | root:root | 0o644 | 8.7 KB |
/usr/share/frama-c/libc/assert.c
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/assert.h
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/libc/complex.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/complex.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/ctype.c
|
text/x-c | root:root | 0o644 | 2.9 KB |
/usr/share/frama-c/libc/ctype.h
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/frama-c/libc/dirent.h
|
text/x-c | root:root | 0o644 | 2.4 KB |
/usr/share/frama-c/libc/errno.c
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/errno.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/fc_posix_runtime.c
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/fc_runtime.c
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/fcntl.h
|
text/x-c | root:root | 0o644 | 2.3 KB |
/usr/share/frama-c/libc/fenv.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/fenv.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/float.c
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/float.h
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/frama-c/libc/inttypes.c
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/inttypes.h
|
text/x-c | root:root | 0o644 | 8.4 KB |
/usr/share/frama-c/libc/iso646.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/iso646.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/limits.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/limits.h
|
text/x-c | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/libc/locale.c
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/locale.h
|
text/x-c | root:root | 0o644 | 5.0 KB |
/usr/share/frama-c/libc/math.c
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/libc/math.h
|
text/x-c | root:root | 0o644 | 10.5 KB |
/usr/share/frama-c/libc/netinet/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/netinet/in.h
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/pwd.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/setjmp.c
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/setjmp.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/signal.c
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/signal.h
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/stdarg.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/stdarg.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/stdbool.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/stdbool.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/stddef.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/stddef.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/stdint.h
|
text/x-c | root:root | 0o644 | 3.4 KB |
/usr/share/frama-c/libc/stdio.c
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/libc/stdio.h
|
text/x-c | root:root | 0o644 | 7.4 KB |
/usr/share/frama-c/libc/stdlib.c
|
text/x-c | root:root | 0o644 | 6.7 KB |
/usr/share/frama-c/libc/stdlib.h
|
text/x-c | root:root | 0o644 | 6.8 KB |
/usr/share/frama-c/libc/string.c
|
text/x-c | root:root | 0o644 | 3.6 KB |
/usr/share/frama-c/libc/string.h
|
text/x-c | root:root | 0o644 | 8.3 KB |
/usr/share/frama-c/libc/sys/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/sys/socket.h
|
text/x-c | root:root | 0o644 | 6.5 KB |
/usr/share/frama-c/libc/sys/stat.h
|
text/x-c | root:root | 0o644 | 2.6 KB |
/usr/share/frama-c/libc/sys/time.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/sys/types.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/sys/uio.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/sys/wait.h
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/syslog.h
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/frama-c/libc/termios.h
|
text/x-c | root:root | 0o644 | 4.4 KB |
/usr/share/frama-c/libc/test.c
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/tgmath.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/tgmath.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/time.c
|
text/x-c | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/time.h
|
text/x-c | root:root | 0o644 | 3.0 KB |
/usr/share/frama-c/libc/uchar.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/uchar.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/unistd.h
|
text/x-c | root:root | 0o644 | 5.7 KB |
/usr/share/frama-c/libc/wchar.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/wchar.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/wctype.c
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/wctype.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/machine.h
|
text/x-c | root:root | 0o644 | 2.7 KB |
/usr/share/frama-c/malloc.c
|
text/x-c | root:root | 0o644 | 6.8 KB |
/usr/share/frama-c/math.c
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/math.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/maybe.png
|
image/png | root:root | 0o644 | 53.3 KB |
/usr/share/frama-c/right.png
|
image/png | root:root | 0o644 | 41.9 KB |
/usr/share/frama-c/unmark.png
|
image/png | root:root | 0o644 | 112 bytes |
/usr/share/frama-c/wp/
|
root:root | 0o755 | ||
/usr/share/frama-c/wp/hoare_ergo.why
|
text/plain | root:root | 0o644 | 24.4 KB |
/usr/share/frama-c/wp/hoare_model.v
|
text/plain | root:root | 0o644 | 33.8 KB |
/usr/share/frama-c/wp/hoare_model.why
|
text/plain | root:root | 0o644 | 18.1 KB |
/usr/share/frama-c/wp/runtime_ergo.why
|
text/plain | root:root | 0o644 | 46.1 KB |
/usr/share/frama-c/wp/runtime_model.v
|
text/plain | root:root | 0o644 | 65.0 KB |
/usr/share/frama-c/wp/runtime_model.why
|
text/plain | root:root | 0o644 | 54.2 KB |
/usr/share/frama-c/wp/store_ergo.why
|
text/plain | root:root | 0o644 | 33.6 KB |
/usr/share/frama-c/wp/store_model.v
|
text/plain | root:root | 0o644 | 46.2 KB |
/usr/share/frama-c/wp/store_model.why
|
text/plain | root:root | 0o644 | 27.2 KB |
/usr/share/frama-c/wp/wp.v
|
text/plain | root:root | 0o644 | 3.7 KB |