frama-c-base 20130601+fluorine3+dfsg-2build1 / usr / share / frama-c

This file is indexed.

/usr/share/frama-c/ 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/frama-c/Makefile.common text/plain root:root 0o644 11.3 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 9.3 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 35.8 KB
/usr/share/frama-c/Makefile.plugin text/plain root:root 0o644 31.0 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.4 KB
/usr/share/frama-c/configure.ac text/plain root:root 0o644 18.8 KB
/usr/share/frama-c/doc/ root:root 0o755
/usr/share/frama-c/doc/code/ root:root 0o755
/usr/share/frama-c/doc/code/docgen_ge400.ml text/x-ruby root:root 0o644 14.1 KB
/usr/share/frama-c/doc/code/docgen_lt400.ml text/x-c++ root:root 0o644 13.6 KB
/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.2 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/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/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 634 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/switch-off.png image/png root:root 0o644 3.3 KB
/usr/share/frama-c/feedback/switch-on.png image/png root:root 0o644 3.2 KB
/usr/share/frama-c/feedback/unknown.png image/png root:root 0o644 700 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 88.2 KB
/usr/share/frama-c/frama-c.rc text/plain root:root 0o644 2.3 KB
/usr/share/frama-c/libc/ root:root 0o755
/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/libc/__fc_builtin.c text/x-c root:root 0o644 2.0 KB
/usr/share/frama-c/libc/__fc_builtin.h text/x-c root:root 0o644 3.0 KB
/usr/share/frama-c/libc/__fc_builtin_for_normalization.i text/plain root:root 0o644 2.5 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_fd_set_t.h text/plain root:root 0o644 2.0 KB
/usr/share/frama-c/libc/__fc_define_id_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 2.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_sa_family_t.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/__fc_define_seek_macros.h text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/libc/__fc_define_sigset_t.h text/plain root:root 0o644 1.7 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_sockaddr.h text/x-c root:root 0o644 1.8 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_stat.h text/x-c root:root 0o644 2.6 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_timespec.h text/x-c 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/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/__fc_string_axiomatic.h text/x-c root:root 0o644 8.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/assert.c text/x-c root:root 0o644 1.2 KB
/usr/share/frama-c/libc/assert.h text/plain root:root 0o644 1.9 KB
/usr/share/frama-c/libc/byteswap.h text/plain root:root 0o644 5.3 KB
/usr/share/frama-c/libc/complex.c text/plain root:root 0o644 971 bytes
/usr/share/frama-c/libc/complex.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/ctype.c text/x-c root:root 0o644 2.3 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/dirent.h text/x-c root:root 0o644 3.4 KB
/usr/share/frama-c/libc/dlfcn.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/dlfcn.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/errno.c text/x-c root:root 0o644 968 bytes
/usr/share/frama-c/libc/errno.h text/x-c root:root 0o644 5.3 KB
/usr/share/frama-c/libc/fc_posix_runtime.c text/x-c root:root 0o644 1.5 KB
/usr/share/frama-c/libc/fc_runtime.c text/x-c root:root 0o644 1.4 KB
/usr/share/frama-c/libc/fcntl.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/fcntl.h text/x-c root:root 0o644 4.7 KB
/usr/share/frama-c/libc/features.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/fenv.c text/plain root:root 0o644 993 bytes
/usr/share/frama-c/libc/fenv.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/float.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/float.h text/plain root:root 0o644 2.6 KB
/usr/share/frama-c/libc/getopt.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/glob.h text/x-c root:root 0o644 3.2 KB
/usr/share/frama-c/libc/grp.c text/x-c root:root 0o644 946 bytes
/usr/share/frama-c/libc/grp.h text/x-c root:root 0o644 2.1 KB
/usr/share/frama-c/libc/iconv.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/iconv.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/ifaddrs.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/ifaddrs.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/inttypes.c text/x-c root:root 0o644 1.1 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 951 bytes
/usr/share/frama-c/libc/iso646.h text/plain root:root 0o644 1.8 KB
/usr/share/frama-c/libc/libintl.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/limits.c text/plain root:root 0o644 952 bytes
/usr/share/frama-c/libc/limits.h text/x-c root:root 0o644 3.1 KB
/usr/share/frama-c/libc/linux/ root:root 0o755
/usr/share/frama-c/libc/linux/fs.c text/x-c root:root 0o644 945 bytes
/usr/share/frama-c/libc/linux/fs.h text/plain root:root 0o644 1.6 KB
/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/if_netlink.c text/x-c root:root 0o644 952 bytes
/usr/share/frama-c/libc/linux/if_netlink.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/linux/netlink.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/linux/netlink.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/linux/rtnetlink.c text/x-c root:root 0o644 951 bytes
/usr/share/frama-c/libc/linux/rtnetlink.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/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.3 KB
/usr/share/frama-c/libc/math.h text/x-c root:root 0o644 10.5 KB
/usr/share/frama-c/libc/net/ root:root 0o755
/usr/share/frama-c/libc/net/if.c text/x-c root:root 0o644 944 bytes
/usr/share/frama-c/libc/net/if.h text/x-c root:root 0o644 6.3 KB
/usr/share/frama-c/libc/netdb.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/netdb.h text/x-c root:root 0o644 5.6 KB
/usr/share/frama-c/libc/netinet/ root:root 0o755
/usr/share/frama-c/libc/netinet/in.c text/x-c root:root 0o644 944 bytes
/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.c text/x-c root:root 0o644 950 bytes
/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/ip.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/netinet/ip_icmp.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/netinet/ip_icmp.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/nl_types.c text/x-c root:root 0o644 950 bytes
/usr/share/frama-c/libc/nl_types.h text/x-c root:root 0o644 1.9 KB
/usr/share/frama-c/libc/pthread.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/pwd.c text/x-c root:root 0o644 945 bytes
/usr/share/frama-c/libc/pwd.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/setjmp.c text/x-c root:root 0o644 1.0 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 967 bytes
/usr/share/frama-c/libc/signal.h text/x-c root:root 0o644 4.1 KB
/usr/share/frama-c/libc/stdarg.c text/plain root:root 0o644 970 bytes
/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 952 bytes
/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 951 bytes
/usr/share/frama-c/libc/stddef.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/stdint.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/stdint.h text/x-c root:root 0o644 4.0 KB
/usr/share/frama-c/libc/stdio.c text/x-c root:root 0o644 1.2 KB
/usr/share/frama-c/libc/stdio.h text/x-c root:root 0o644 9.1 KB
/usr/share/frama-c/libc/stdlib.c text/x-c root:root 0o644 7.8 KB
/usr/share/frama-c/libc/stdlib.h text/x-c root:root 0o644 8.0 KB
/usr/share/frama-c/libc/string.c text/x-c root:root 0o644 3.3 KB
/usr/share/frama-c/libc/string.h text/x-c root:root 0o644 8.9 KB
/usr/share/frama-c/libc/strings.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/strings.h text/x-c root:root 0o644 2.0 KB
/usr/share/frama-c/libc/sys/ root:root 0o755
/usr/share/frama-c/libc/sys/ioctl.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/param.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/sys/param.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/sys/resource.c text/x-c root:root 0o644 950 bytes
/usr/share/frama-c/libc/sys/resource.h text/x-c root:root 0o644 2.8 KB
/usr/share/frama-c/libc/sys/select.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/sys/select.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/sys/socket.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/sys/socket.h text/x-c root:root 0o644 7.1 KB
/usr/share/frama-c/libc/sys/stat.c text/x-c root:root 0o644 946 bytes
/usr/share/frama-c/libc/sys/stat.h text/x-c root:root 0o644 2.0 KB
/usr/share/frama-c/libc/sys/time.c text/x-c root:root 0o644 946 bytes
/usr/share/frama-c/libc/sys/time.h text/x-c root:root 0o644 3.1 KB
/usr/share/frama-c/libc/sys/types.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/sys/types.h text/x-c root:root 0o644 2.2 KB
/usr/share/frama-c/libc/sys/uio.c text/x-c root:root 0o644 945 bytes
/usr/share/frama-c/libc/sys/uio.h text/x-c root:root 0o644 2.1 KB
/usr/share/frama-c/libc/sys/un.c text/x-c root:root 0o644 944 bytes
/usr/share/frama-c/libc/sys/un.h text/x-c root:root 0o644 1.8 KB
/usr/share/frama-c/libc/sys/wait.c text/x-c root:root 0o644 946 bytes
/usr/share/frama-c/libc/sys/wait.h text/x-c root:root 0o644 2.1 KB
/usr/share/frama-c/libc/syslog.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/syslog.h text/x-c root:root 0o644 5.3 KB
/usr/share/frama-c/libc/termios.c text/x-c root:root 0o644 949 bytes
/usr/share/frama-c/libc/termios.h text/x-c root:root 0o644 4.9 KB
/usr/share/frama-c/libc/test.c text/x-c root:root 0o644 1.4 KB
/usr/share/frama-c/libc/tgmath.c text/plain root:root 0o644 997 bytes
/usr/share/frama-c/libc/tgmath.h text/plain root:root 0o644 1.7 KB
/usr/share/frama-c/libc/time.c text/x-c root:root 0o644 946 bytes
/usr/share/frama-c/libc/time.h text/x-c root:root 0o644 3.7 KB
/usr/share/frama-c/libc/uchar.c text/x-c root:root 0o644 947 bytes
/usr/share/frama-c/libc/uchar.h text/plain root:root 0o644 1.6 KB
/usr/share/frama-c/libc/unistd.c text/x-c root:root 0o644 948 bytes
/usr/share/frama-c/libc/unistd.h text/x-c root:root 0o644 27.9 KB
/usr/share/frama-c/libc/wchar.c text/plain root:root 0o644 996 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/wctype.h text/plain 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/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/unmark.png image/png root:root 0o644 101 bytes
/usr/share/frama-c/wp/ root:root 0o755
/usr/share/frama-c/wp/Bits.v text/plain root:root 0o644 39.4 KB
/usr/share/frama-c/wp/Cbits.v text/plain root:root 0o644 45.0 KB
/usr/share/frama-c/wp/Cfloat.v text/plain root:root 0o644 3.3 KB
/usr/share/frama-c/wp/Cint.v text/plain root:root 0o644 10.2 KB
/usr/share/frama-c/wp/Cmath.v text/plain root:root 0o644 2.2 KB
/usr/share/frama-c/wp/Memory.v text/plain root:root 0o644 11.5 KB
/usr/share/frama-c/wp/Qedlib.v text/plain root:root 0o644 9.9 KB
/usr/share/frama-c/wp/Vset.v text/plain root:root 0o644 3.2 KB
/usr/share/frama-c/wp/cbits.mlw text/plain root:root 0o644 10.6 KB
/usr/share/frama-c/wp/cfloat.mlw text/plain root:root 0o644 3.4 KB
/usr/share/frama-c/wp/cfloat.why text/plain root:root 0o644 4.0 KB
/usr/share/frama-c/wp/cint.mlw text/plain root:root 0o644 5.0 KB
/usr/share/frama-c/wp/cint.why text/plain root:root 0o644 5.0 KB
/usr/share/frama-c/wp/cint0.mlw text/plain root:root 0o644 4.5 KB
/usr/share/frama-c/wp/cmath.mlw text/plain root:root 0o644 3.6 KB
/usr/share/frama-c/wp/cmath.why text/plain root:root 0o644 2.3 KB
/usr/share/frama-c/wp/memory.mlw text/plain root:root 0o644 4.6 KB
/usr/share/frama-c/wp/memory.why text/plain root:root 0o644 5.8 KB
/usr/share/frama-c/wp/qed.mlw text/plain root:root 0o644 4.7 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/vset.why text/plain root:root 0o644 4.3 KB

APT Browse - Built by Thomas Orozco.