why-examples 2.34-4ubuntu4 / usr / share / doc / why / examples-c

This file is indexed.

/usr/share/doc/why/examples-c/ is in why-examples 2.34-4ubuntu4.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/why/examples-c/Makefile text/x-makefile root:root 0o644 415 bytes
/usr/share/doc/why/examples-c/float/ root:root 0o755
/usr/share/doc/why/examples-c/float/Malcolm.c text/x-c root:root 0o644 290 bytes
/usr/share/doc/why/examples-c/float/Sterbenz.c text/x-c root:root 0o644 122 bytes
/usr/share/doc/why/examples-c/float/Sterbenz2.c text/x-c root:root 0o644 175 bytes
/usr/share/doc/why/examples-c/float/coq/ root:root 0o755
/usr/share/doc/why/examples-c/float/coq/Malcolm_spec_why.v text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples-c/float/coq/Malcolm_why.v text/plain root:root 0o644 10.6 KB
/usr/share/doc/why/examples-c/float/coq/Sterbenz2_why.v text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples-c/float/coq/Sterbenz_why.v text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples-c/g4/ root:root 0o755
/usr/share/doc/why/examples-c/g4/Makefile text/plain root:root 0o644 762 bytes
/usr/share/doc/why/examples-c/g4/coq/ root:root 0o755
/usr/share/doc/why/examples-c/g4/coq/G4.v text/plain root:root 0o644 8.7 KB
/usr/share/doc/why/examples-c/g4/coq/G4z.v text/plain root:root 0o644 5.2 KB
/usr/share/doc/why/examples-c/g4/coq/Lex3.v text/plain root:root 0o644 880 bytes
/usr/share/doc/why/examples-c/g4/coq/g4_why.v text/plain root:root 0o644 5.6 KB
/usr/share/doc/why/examples-c/g4/coq/nat_of_Z.v text/plain root:root 0o644 871 bytes
/usr/share/doc/why/examples-c/g4/g4.c text/x-c root:root 0o644 657 bytes
/usr/share/doc/why/examples-c/linked-lists/ root:root 0o755
/usr/share/doc/why/examples-c/linked-lists/Makefile text/x-makefile root:root 0o644 745 bytes
/usr/share/doc/why/examples-c/linked-lists/coq/ root:root 0o755
/usr/share/doc/why/examples-c/linked-lists/coq/has_cycle_why.v text/plain root:root 0o644 16.4 KB
/usr/share/doc/why/examples-c/linked-lists/coq/reverse_spec_why.v text/plain root:root 0o644 4.2 KB
/usr/share/doc/why/examples-c/linked-lists/coq/reverse_why.v text/plain root:root 0o644 8.2 KB
/usr/share/doc/why/examples-c/linked-lists/coq/search_why.v text/plain root:root 0o644 3.7 KB
/usr/share/doc/why/examples-c/linked-lists/coq/swap_spec_why.v text/plain root:root 0o644 4.1 KB
/usr/share/doc/why/examples-c/linked-lists/coq/swap_why.v text/plain root:root 0o644 5.4 KB
/usr/share/doc/why/examples-c/linked-lists/has_cycle.c text/x-c root:root 0o644 616 bytes
/usr/share/doc/why/examples-c/linked-lists/list.h text/plain root:root 0o644 2.0 KB
/usr/share/doc/why/examples-c/linked-lists/reverse.c text/x-c root:root 0o644 947 bytes
/usr/share/doc/why/examples-c/linked-lists/search.c text/x-c root:root 0o644 276 bytes
/usr/share/doc/why/examples-c/linked-lists/swap.c text/x-c root:root 0o644 378 bytes
/usr/share/doc/why/examples-c/puf/ root:root 0o755
/usr/share/doc/why/examples-c/puf/Makefile text/x-makefile root:root 0o644 86 bytes
/usr/share/doc/why/examples-c/puf/parray.c text/x-c root:root 0o644 3.5 KB
/usr/share/doc/why/examples-c/puf/parray_frama_c.c text/x-c root:root 0o644 3.3 KB
/usr/share/doc/why/examples-c/puf/puf.c text/x-c root:root 0o644 2.5 KB
/usr/share/doc/why/examples-c/schorr-waite/ root:root 0o755
/usr/share/doc/why/examples-c/schorr-waite/Makefile text/x-makefile root:root 0o644 524 bytes
/usr/share/doc/why/examples-c/schorr-waite/coq/ root:root 0o755
/usr/share/doc/why/examples-c/schorr-waite/coq/BinTree.v text/plain root:root 0o644 12.5 KB
/usr/share/doc/why/examples-c/schorr-waite/coq/GenericLists.v text/plain root:root 0o644 15.6 KB
/usr/share/doc/why/examples-c/schorr-waite/coq/caduceus_spec_why.v text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples-c/schorr-waite/coq/schorr_waite_spec_why.v text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples-c/schorr-waite/coq/schorr_waite_why.v text/plain root:root 0o644 289.0 KB
/usr/share/doc/why/examples-c/schorr-waite/schorr_waite.c text/plain root:root 0o644 3.2 KB
/usr/share/doc/why/examples-c/sorting/ root:root 0o755
/usr/share/doc/why/examples-c/sorting/Makefile text/plain root:root 0o644 915 bytes
/usr/share/doc/why/examples-c/sorting/coq/ root:root 0o755
/usr/share/doc/why/examples-c/sorting/coq/MSet.v text/plain root:root 0o644 6.6 KB
/usr/share/doc/why/examples-c/sorting/coq/selection_spec_why.v text/plain root:root 0o644 685 bytes
/usr/share/doc/why/examples-c/sorting/coq/selection_why.v text/plain root:root 0o644 28.2 KB
/usr/share/doc/why/examples-c/sorting/quicksort.c text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples-c/sorting/selection.c text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples-c/trees/ root:root 0o755
/usr/share/doc/why/examples-c/trees/Makefile text/x-makefile root:root 0o644 96 bytes
/usr/share/doc/why/examples-c/trees/search.c text/x-c root:root 0o644 1.2 KB
/usr/share/doc/why/examples-c/trees/tree.h text/x-c root:root 0o644 2.9 KB
/usr/share/doc/why/examples-c/tutorial/ root:root 0o755
/usr/share/doc/why/examples-c/tutorial/Makefile text/plain root:root 0o644 894 bytes
/usr/share/doc/why/examples-c/tutorial/abs.c text/plain root:root 0o644 164 bytes
/usr/share/doc/why/examples-c/tutorial/average.c text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples-c/tutorial/binary_search.c text/plain root:root 0o644 795 bytes
/usr/share/doc/why/examples-c/tutorial/coq/ root:root 0o755
/usr/share/doc/why/examples-c/tutorial/coq/abs_spec_why.v text/plain root:root 0o644 74 bytes
/usr/share/doc/why/examples-c/tutorial/coq/abs_why.v text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples-c/tutorial/coq/average_why.v text/plain root:root 0o644 9.9 KB
/usr/share/doc/why/examples-c/tutorial/coq/binary_search_why.v text/plain root:root 0o644 17.1 KB
/usr/share/doc/why/examples-c/tutorial/coq/flag_why.v text/plain root:root 0o644 20.5 KB
/usr/share/doc/why/examples-c/tutorial/coq/max_spec_why.v text/plain root:root 0o644 203 bytes
/usr/share/doc/why/examples-c/tutorial/coq/max_why.v text/plain root:root 0o644 840 bytes
/usr/share/doc/why/examples-c/tutorial/coq/modulo_why.v text/plain root:root 0o644 2.0 KB
/usr/share/doc/why/examples-c/tutorial/coq/purse_spec_why.v text/plain root:root 0o644 388 bytes
/usr/share/doc/why/examples-c/tutorial/coq/purse_why.v text/plain root:root 0o644 24.6 KB
/usr/share/doc/why/examples-c/tutorial/coq/search_spec_why.v text/plain root:root 0o644 207 bytes
/usr/share/doc/why/examples-c/tutorial/coq/search_why.v text/plain root:root 0o644 5.0 KB
/usr/share/doc/why/examples-c/tutorial/coq/swap_spec_why.v text/plain root:root 0o644 74 bytes
/usr/share/doc/why/examples-c/tutorial/coq/swap_why.v text/plain root:root 0o644 5.0 KB
/usr/share/doc/why/examples-c/tutorial/flag.c text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples-c/tutorial/max.c text/plain root:root 0o644 176 bytes
/usr/share/doc/why/examples-c/tutorial/modulo.c text/plain root:root 0o644 278 bytes
/usr/share/doc/why/examples-c/tutorial/purse.c text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples-c/tutorial/search.c text/plain root:root 0o644 373 bytes
/usr/share/doc/why/examples-c/tutorial/swap.c text/plain root:root 0o644 197 bytes
/usr/share/doc/why/examples-c/ukkonen/ root:root 0o755
/usr/share/doc/why/examples-c/ukkonen/main.c text/x-c root:root 0o644 1.5 KB
/usr/share/doc/why/examples-c/ukkonen/ukkonen.c.gz application/gzip root:root 0o644 1.8 KB

APT Browse - Built by Thomas Orozco.