/usr/share/ is in frama-c-base 20130601+fluorine3+dfsg-2build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c-base/
|
root:root | 0o755 | ||
/usr/share/doc/frama-c-base/copyright
|
text/plain | root:root | 0o644 | 35.5 KB |
/usr/share/doc/frama-c-base/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/frama-c.1.gz
|
application/gzip | root:root | 0o644 | 5.6 KB |
/usr/share/frama-c/
|
root:root | 0o755 | ||
/usr/share/frama-c/Makefile.dynamic
|
text/plain | root:root | 0o644 | 9.3 KB |
/usr/share/frama-c/Makefile.config
|
text/plain | root:root | 0o644 | 4.8 KB |
/usr/share/frama-c/builtin.c
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/share/frama-c/wp/
|
root:root | 0o755 | ||
/usr/share/frama-c/wp/Cfloat.v
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/wp/cbits.mlw
|
text/plain | root:root | 0o644 | 10.6 KB |
/usr/share/frama-c/wp/Cbits.v
|
text/plain | root:root | 0o644 | 45.0 KB |
/usr/share/frama-c/wp/memory.why
|
text/plain | root:root | 0o644 | 5.8 KB |
/usr/share/frama-c/wp/cint.mlw
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/frama-c/wp/vset.why
|
text/plain | root:root | 0o644 | 4.3 KB |
/usr/share/frama-c/wp/Memory.v
|
text/plain | root:root | 0o644 | 11.5 KB |
/usr/share/frama-c/wp/cfloat.mlw
|
text/plain | root:root | 0o644 | 3.4 KB |
/usr/share/frama-c/wp/Vset.v
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/wp/qed.mlw
|
text/plain | root:root | 0o644 | 4.7 KB |
/usr/share/frama-c/wp/Qedlib.v
|
text/plain | root:root | 0o644 | 9.9 KB |
/usr/share/frama-c/wp/Cint.v
|
text/plain | root:root | 0o644 | 10.2 KB |
/usr/share/frama-c/wp/cint0.mlw
|
text/plain | root:root | 0o644 | 4.5 KB |
/usr/share/frama-c/wp/memory.mlw
|
text/plain | root:root | 0o644 | 4.6 KB |
/usr/share/frama-c/wp/cmath.why
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/frama-c/wp/qed.why
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/frama-c/wp/vset.mlw
|
text/plain | root:root | 0o644 | 3.7 KB |
/usr/share/frama-c/wp/cmath.mlw
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/frama-c/wp/Cmath.v
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/wp/cint.why
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/frama-c/wp/Bits.v
|
text/plain | root:root | 0o644 | 39.4 KB |
/usr/share/frama-c/wp/cfloat.why
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/frama-c/Makefile.kernel
|
text/plain | root:root | 0o644 | 35.8 KB |
/usr/share/frama-c/frama-c.ico
|
image/x-icon | root:root | 0o644 | 88.2 KB |
/usr/share/frama-c/libc/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/float.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/inttypes.h
|
text/x-c | root:root | 0o644 | 8.4 KB |
/usr/share/frama-c/libc/string.c
|
text/x-c | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/libc/stdio.c
|
text/x-c | root:root | 0o644 | 1.2 KB |
/usr/share/frama-c/libc/test.c
|
text/x-c | root:root | 0o644 | 1.4 KB |
/usr/share/frama-c/libc/stdbool.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/string.h
|
text/x-c | root:root | 0o644 | 8.9 KB |
/usr/share/frama-c/libc/uchar.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/errno.h
|
text/x-c | root:root | 0o644 | 5.3 KB |
/usr/share/frama-c/libc/stdint.h
|
text/x-c | root:root | 0o644 | 4.0 KB |
/usr/share/frama-c/libc/iconv.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/fcntl.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/fenv.c
|
text/plain | root:root | 0o644 | 993 bytes |
/usr/share/frama-c/libc/byteswap.h
|
text/plain | root:root | 0o644 | 5.3 KB |
/usr/share/frama-c/libc/__fc_define_seek_macros.h
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/libc/complex.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/iso646.c
|
text/plain | root:root | 0o644 | 951 bytes |
/usr/share/frama-c/libc/fenv.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/ifaddrs.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/libc/stdbool.c
|
text/plain | root:root | 0o644 | 952 bytes |
/usr/share/frama-c/libc/linux/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/linux/netlink.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/linux/if_netlink.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/linux/fs.c
|
text/x-c | root:root | 0o644 | 945 bytes |
/usr/share/frama-c/libc/linux/if_addr.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/linux/if_addr.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/linux/fs.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/linux/rtnetlink.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/linux/rtnetlink.c
|
text/x-c | root:root | 0o644 | 951 bytes |
/usr/share/frama-c/libc/linux/if_netlink.c
|
text/x-c | root:root | 0o644 | 952 bytes |
/usr/share/frama-c/libc/linux/netlink.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/net/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/net/if.h
|
text/x-c | root:root | 0o644 | 6.3 KB |
/usr/share/frama-c/libc/net/if.c
|
text/x-c | root:root | 0o644 | 944 bytes |
/usr/share/frama-c/libc/__fc_define_sockaddr.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/stddef.c
|
text/plain | root:root | 0o644 | 951 bytes |
/usr/share/frama-c/libc/termios.h
|
text/x-c | root:root | 0o644 | 4.9 KB |
/usr/share/frama-c/libc/__fc_define_id_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/locale.c
|
text/x-c | root:root | 0o644 | 1.4 KB |
/usr/share/frama-c/libc/__fc_define_dev_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/grp.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/__fc_builtin_for_normalization.i
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/frama-c/libc/pwd.c
|
text/x-c | root:root | 0o644 | 945 bytes |
/usr/share/frama-c/libc/assert.h
|
text/plain | root:root | 0o644 | 1.9 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_nlink_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/stddef.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/feedback/never_tried.png
|
image/png | root:root | 0o644 | 634 bytes |
/usr/share/frama-c/libc/getopt.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/__fc_define_sigset_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/glob.h
|
text/x-c | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/libc/pwd.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/libc/ctype.h
|
text/plain | root:root | 0o644 | 2.5 KB |
/usr/share/frama-c/libc/dirent.c
|
text/x-c | root:root | 0o644 | 1.3 KB |
/usr/share/frama-c/libc/tgmath.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/netdb.h
|
text/x-c | root:root | 0o644 | 5.6 KB |
/usr/share/frama-c/libc/strings.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/sys/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/sys/un.c
|
text/x-c | root:root | 0o644 | 944 bytes |
/usr/share/frama-c/libc/sys/types.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/sys/ioctl.h
|
text/plain | root:root | 0o644 | 5.0 KB |
/usr/share/frama-c/libc/sys/stat.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/sys/socket.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/usr/share/frama-c/libc/sys/select.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/usr/share/frama-c/libc/sys/resource.h
|
text/x-c | root:root | 0o644 | 2.8 KB |
/usr/share/frama-c/libc/sys/uio.c
|
text/x-c | root:root | 0o644 | 945 bytes |
/usr/share/frama-c/libc/sys/types.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/libc/sys/un.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/sys/uio.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/sys/stat.h
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/sys/time.h
|
text/x-c | root:root | 0o644 | 3.1 KB |
/usr/share/frama-c/libc/sys/select.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/libc/sys/param.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/sys/wait.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/sys/socket.h
|
text/x-c | root:root | 0o644 | 7.1 KB |
/usr/share/frama-c/libc/sys/time.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/sys/ioctl.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/sys/wait.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/libc/sys/param.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/sys/resource.c
|
text/x-c | root:root | 0o644 | 950 bytes |
/usr/share/frama-c/libc/tgmath.c
|
text/plain | root:root | 0o644 | 997 bytes |
/usr/share/frama-c/libc/grp.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/iconv.h
|
text/x-c | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/libc/dlfcn.h
|
text/x-c | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/stdlib.h
|
text/x-c | root:root | 0o644 | 8.0 KB |
/usr/share/frama-c/libc/stdint.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/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 | 2.7 KB |
/usr/share/frama-c/libc/__fc_define_fd_set_t.h
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/__fc_define_timespec.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/unistd.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/usr/share/frama-c/libc/assert.c
|
text/x-c | root:root | 0o644 | 1.2 KB |
/usr/share/frama-c/libc/time.h
|
text/x-c | root:root | 0o644 | 3.7 KB |
/usr/share/frama-c/libc/fcntl.h
|
text/x-c | root:root | 0o644 | 4.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_machdep.h
|
text/x-c | root:root | 0o644 | 3.1 KB |
/usr/share/frama-c/libc/__fc_define_restrict.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/limits.c
|
text/plain | root:root | 0o644 | 952 bytes |
/usr/share/frama-c/libc/__fc_define_wchar_t.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/syslog.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/usr/share/frama-c/libc/netinet/
|
root:root | 0o755 | ||
/usr/share/frama-c/feedback/surely_invalid.png
|
image/png | root:root | 0o644 | 666 bytes |
/usr/share/frama-c/libc/netinet/ip_icmp.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/netinet/in.h
|
text/x-c | root:root | 0o644 | 11.2 KB |
/usr/share/frama-c/libc/netinet/in_systm.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/netinet/ip.c
|
text/x-c | root:root | 0o644 | 944 bytes |
/usr/share/frama-c/libc/netinet/in.c
|
text/x-c | root:root | 0o644 | 944 bytes |
/usr/share/frama-c/libc/netinet/ip.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/netinet/in_systm.c
|
text/x-c | root:root | 0o644 | 950 bytes |
/usr/share/frama-c/libc/netinet/ip_icmp.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/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_runtime.c
|
text/x-c | root:root | 0o644 | 1.4 KB |
/usr/share/frama-c/libc/fc_posix_runtime.c
|
text/x-c | root:root | 0o644 | 1.5 KB |
/usr/share/frama-c/libc/syslog.h
|
text/x-c | root:root | 0o644 | 5.3 KB |
/usr/share/frama-c/libc/signal.c
|
text/x-c | root:root | 0o644 | 967 bytes |
/usr/share/frama-c/libc/__fc_builtin.c
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/wctype.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/complex.c
|
text/plain | root:root | 0o644 | 971 bytes |
/usr/share/frama-c/libc/limits.h
|
text/x-c | root:root | 0o644 | 3.1 KB |
/usr/share/frama-c/libc/__fc_machdep_linux_gcc_shared.h
|
text/plain | root:root | 0o644 | 7.2 KB |
/usr/share/frama-c/libc/stdlib.c
|
text/x-c | root:root | 0o644 | 7.8 KB |
/usr/share/frama-c/libc/ctype.c
|
text/x-c | root:root | 0o644 | 2.3 KB |
/usr/share/frama-c/libc/math.h
|
text/x-c | root:root | 0o644 | 10.5 KB |
/usr/share/frama-c/libc/strings.h
|
text/x-c | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/libc/stdio.h
|
text/x-c | root:root | 0o644 | 9.1 KB |
/usr/share/frama-c/libc/wchar.c
|
text/plain | root:root | 0o644 | 996 bytes |
/usr/share/frama-c/libc/__fc_define_stat.h
|
text/x-c | root:root | 0o644 | 2.6 KB |
/usr/share/frama-c/libc/pthread.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/__fc_define_null.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/stdarg.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/netdb.c
|
text/x-c | root:root | 0o644 | 948 bytes |
/usr/share/frama-c/libc/stdarg.c
|
text/plain | root:root | 0o644 | 970 bytes |
/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 | 998 bytes |
/usr/share/frama-c/libc/iso646.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/locale.h
|
text/x-c | root:root | 0o644 | 5.0 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_builtin.h
|
text/x-c | root:root | 0o644 | 3.0 KB |
/usr/share/frama-c/libc/libintl.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/setjmp.h
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/libc/__fc_define_sa_family_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/unistd.h
|
text/x-c | root:root | 0o644 | 27.9 KB |
/usr/share/frama-c/libc/__fc_define_useconds_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/dlfcn.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/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_blkcnt_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/ifaddrs.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/__fc_string_axiomatic.h
|
text/x-c | root:root | 0o644 | 8.7 KB |
/usr/share/frama-c/libc/setjmp.c
|
text/x-c | root:root | 0o644 | 1.0 KB |
/usr/share/frama-c/libc/nl_types.h
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/libc/nl_types.c
|
text/x-c | root:root | 0o644 | 950 bytes |
/usr/share/frama-c/libc/dirent.h
|
text/x-c | root:root | 0o644 | 3.4 KB |
/usr/share/frama-c/libc/termios.c
|
text/x-c | root:root | 0o644 | 949 bytes |
/usr/share/frama-c/libc/__fc_define_pid_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/arpa/
|
root:root | 0o755 | ||
/usr/share/frama-c/libc/arpa/inet.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/arpa/inet.h
|
text/x-c | root:root | 0o644 | 2.4 KB |
/usr/share/frama-c/libc/time.c
|
text/x-c | root:root | 0o644 | 946 bytes |
/usr/share/frama-c/libc/signal.h
|
text/x-c | root:root | 0o644 | 4.1 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/uchar.c
|
text/x-c | root:root | 0o644 | 947 bytes |
/usr/share/frama-c/libc/inttypes.c
|
text/x-c | root:root | 0o644 | 1.1 KB |
/usr/share/frama-c/libc/features.h
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/frama-c/libc/__fc_define_blksize_t.h
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/libc/math.c
|
text/x-c | root:root | 0o644 | 1.3 KB |
/usr/share/frama-c/libc/float.h
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/frama-c/libc/errno.c
|
text/x-c | root:root | 0o644 | 968 bytes |
/usr/share/frama-c/doc/
|
root:root | 0o755 | ||
/usr/share/frama-c/doc/code/
|
root:root | 0o755 | ||
/usr/share/frama-c/doc/code/docgen_lt400.ml
|
text/x-c++ | root:root | 0o644 | 13.6 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/intro_plugin_default.txt
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/doc/code/docgen_ge400.ml
|
text/x-ruby | root:root | 0o644 | 14.1 KB |
/usr/share/frama-c/doc/code/toc_tail.htm
|
text/html | root:root | 0o644 | 1.8 KB |
/usr/share/frama-c/doc/code/intro_plugin.txt
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/frama-c/doc/code/intro_kernel_plugin.txt
|
text/plain | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/frama-c.gif
|
image/gif | root:root | 0o644 | 6.8 KB |
/usr/share/frama-c/Makefile.common
|
text/plain | root:root | 0o644 | 11.3 KB |
/usr/share/frama-c/feedback/
|
root:root | 0o755 | ||
/usr/share/frama-c/feedback/valid_under_hyp.png
|
image/png | root:root | 0o644 | 778 bytes |
/usr/share/frama-c/feedback/switch-off.png
|
image/png | root:root | 0o644 | 3.3 KB |
/usr/share/frama-c/feedback/unknown_but_dead.png
|
image/png | root:root | 0o644 | 710 bytes |
/usr/share/frama-c/feedback/switch-on.png
|
image/png | root:root | 0o644 | 3.2 KB |
/usr/share/frama-c/feedback/inconsistent.png
|
image/png | root:root | 0o644 | 1.2 KB |
/usr/share/frama-c/feedback/invalid_under_hyp.png
|
image/png | root:root | 0o644 | 728 bytes |
/usr/share/frama-c/feedback/valid_but_dead.png
|
image/png | root:root | 0o644 | 710 bytes |
/usr/share/frama-c/feedback/considered_valid.png
|
image/png | root:root | 0o644 | 733 bytes |
/usr/share/frama-c/feedback/unknown.png
|
image/png | root:root | 0o644 | 700 bytes |
/usr/share/frama-c/feedback/invalid_but_dead.png
|
image/png | root:root | 0o644 | 700 bytes |
/usr/share/frama-c/feedback/surely_valid.png
|
image/png | root:root | 0o644 | 693 bytes |
/usr/share/frama-c/frama-c.rc
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/frama-c/fluctuat.h
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/frama-c/Makefile.dynamic_config
|
text/plain | root:root | 0o644 | 2.0 KB |
/usr/share/frama-c/math.h
|
text/x-c | root:root | 0o644 | 1.7 KB |
/usr/share/frama-c/machine.h
|
text/x-c | root:root | 0o644 | 2.7 KB |
/usr/share/frama-c/unmark.png
|
image/png | root:root | 0o644 | 101 bytes |
/usr/share/frama-c/acsl.el
|
text/x-lisp | root:root | 0o644 | 7.4 KB |
/usr/share/frama-c/Makefile.plugin
|
text/plain | root:root | 0o644 | 31.0 KB |
/usr/share/frama-c/builtin.h
|
text/x-c | root:root | 0o644 | 3.4 KB |
/usr/share/frama-c/configure.ac
|
text/plain | root:root | 0o644 | 18.8 KB |
/usr/share/frama-c/libc.c
|
text/x-c | root:root | 0o644 | 6.7 KB |
/usr/share/frama-c/libc.h
|
text/x-c | root:root | 0o644 | 2.1 KB |
/usr/share/frama-c/math.c
|
text/x-c | root:root | 0o644 | 1.9 KB |
/usr/share/man/man1/frama-c.byte.1.gz
|
root:root | 0o777 |