why-examples 2.34-2 / usr / share

This file is indexed.

/usr/share/ is in why-examples 2.34-2.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/why/ root:root 0o755
/usr/share/doc/why/examples/ root:root 0o755
/usr/share/doc/why/examples/string-matching/ root:root 0o755
/usr/share/doc/why/examples/selectionsort/ root:root 0o755
/usr/share/doc/why/examples/dijkstra/.depend application/x-empty root:root 0o644 0 bytes
/usr/share/doc/why/examples-c/float/coq/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/why-examples/ root:root 0o755
/usr/share/doc/why-examples/changelog.Debian.gz application/gzip root:root 0o644 4.5 KB
/usr/share/doc/why-examples/changelog.gz application/gzip root:root 0o644 11.0 KB
/usr/share/doc/why-examples/copyright text/plain root:root 0o644 3.8 KB
/usr/share/doc/why/examples/string-matching/not_so_naive_why.v text/plain root:root 0o644 5.8 KB
/usr/share/doc/why/examples/string-matching/Makefile text/x-makefile root:root 0o644 86 bytes
/usr/share/doc/why/examples/string-matching/.depend text/plain root:root 0o644 358 bytes
/usr/share/doc/why/examples/string-matching/brute_force_why.v text/plain root:root 0o644 5.5 KB
/usr/share/doc/why/examples/string-matching/Match.v text/plain root:root 0o644 4.4 KB
/usr/share/doc/why/examples/quicksort2/ root:root 0o755
/usr/share/doc/why/examples/quicksort2/quicksort2_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/quicksort2/Makefile text/x-makefile root:root 0o644 79 bytes
/usr/share/doc/why/examples-c/g4/coq/ root:root 0o755
/usr/share/doc/why/examples/quicksort2/.depend text/plain root:root 0o644 138 bytes
/usr/share/doc/why/examples/quicksort2/quicksort2_why.sx text/plain root:root 0o644 19.7 KB
/usr/share/doc/why/examples/quicksort2/quicksort2.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/Makefile text/x-makefile root:root 0o644 478 bytes
/usr/share/doc/why/examples/sqrt/ root:root 0o755
/usr/share/doc/why/examples/sqrt/simple_why.v text/plain root:root 0o644 4.3 KB
/usr/share/doc/why/examples/sqrt/Makefile text/x-makefile root:root 0o644 58 bytes
/usr/share/doc/why/examples/sqrt/sqrt_why.v text/plain root:root 0o644 6.3 KB
/usr/share/doc/why/examples/sqrt/.depend text/plain root:root 0o644 108 bytes
/usr/share/doc/why/examples/sqrt/sqrt_why.sx text/plain root:root 0o644 10.1 KB
/usr/share/doc/why/examples/sqrt/simple.mlw text/plain root:root 0o644 360 bytes
/usr/share/doc/why/examples/sqrt/sqrt.mlw text/plain root:root 0o644 856 bytes
/usr/share/doc/why/examples/bresenham/ root:root 0o755
/usr/share/doc/why/examples/bresenham/Makefile text/x-makefile root:root 0o644 71 bytes
/usr/share/doc/why/examples/bresenham/bresenham_coq_why.v text/plain root:root 0o644 4.9 KB
/usr/share/doc/why/examples/bresenham/zaux.v text/plain root:root 0o644 6.4 KB
/usr/share/doc/why/examples/bresenham/.depend text/plain root:root 0o644 155 bytes
/usr/share/doc/why/examples/bresenham/bresenham_coq.mlw text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/bresenham/bresenham.mlw text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/bresenham/bresenham_why.v text/plain root:root 0o644 3.9 KB
/usr/share/doc/why/examples/bresenham/bresenham_inv.mlw text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/maximumsort/ root:root 0o755
/usr/share/doc/why/examples/maximumsort/maximumsort_why.sx text/plain root:root 0o644 16.3 KB
/usr/share/doc/why/examples/maximumsort/Makefile text/x-makefile root:root 0o644 83 bytes
/usr/share/doc/why/examples/maximumsort/maximumsort_why.v text/plain root:root 0o644 8.4 KB
/usr/share/doc/why/examples/maximumsort/.depend text/plain root:root 0o644 143 bytes
/usr/share/doc/why/examples/maximumsort/maximumsort.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/find/ root:root 0o755
/usr/share/doc/why/examples/find/Makefile text/x-makefile root:root 0o644 96 bytes
/usr/share/doc/why/examples/find/find_lemmas.v text/plain root:root 0o644 15.9 KB
/usr/share/doc/why/examples/find/find_spec.v text/plain root:root 0o644 2.4 KB
/usr/share/doc/why/examples/find/.depend text/plain root:root 0o644 359 bytes
/usr/share/doc/why/examples/find/find_why.v text/plain root:root 0o644 8.9 KB
/usr/share/doc/why/examples/find/find.mlw text/plain root:root 0o644 3.5 KB
/usr/share/doc/why/examples/find/find_proofs.v text/plain root:root 0o644 11.4 KB
/usr/share/doc/why/examples/queens/ root:root 0o755
/usr/share/doc/why/examples/queens/Makefile text/plain root:root 0o644 600 bytes
/usr/share/doc/why/examples/queens/.depend application/x-empty root:root 0o644 0 bytes
/usr/share/doc/why/examples/queens/queens.why text/plain root:root 0o644 5.2 KB
/usr/share/doc/why/examples/queens/queens_why.v text/plain root:root 0o644 53.0 KB
/usr/share/doc/why/examples/Makefile.common text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/binary-search/ root:root 0o755
/usr/share/doc/why/examples/binary-search/Makefile text/x-makefile root:root 0o644 73 bytes
/usr/share/doc/why/examples/binary-search/bsearch.mlw text/plain root:root 0o644 1016 bytes
/usr/share/doc/why/examples/binary-search/.depend text/plain root:root 0o644 123 bytes
/usr/share/doc/why/examples/binary-search/bsearch_why.v text/plain root:root 0o644 8.3 KB
/usr/share/doc/why/examples/binary-search/bsearch_why.sx text/plain root:root 0o644 17.3 KB
/usr/share/doc/why/examples/edit-distance/ root:root 0o755
/usr/share/doc/why/examples/edit-distance/words.v text/plain root:root 0o644 11.3 KB
/usr/share/doc/why/examples/edit-distance/distance_why.sx text/plain root:root 0o644 36.0 KB
/usr/share/doc/why/examples/edit-distance/Makefile text/x-makefile root:root 0o644 72 bytes
/usr/share/doc/why/examples/edit-distance/.depend text/plain root:root 0o644 184 bytes
/usr/share/doc/why/examples/edit-distance/distance.mlw text/plain root:root 0o644 2.7 KB
/usr/share/doc/why/examples/edit-distance/distance_why.v text/plain root:root 0o644 7.5 KB
/usr/share/doc/why/examples/kmp/ root:root 0o755
/usr/share/doc/why/examples/kmp/Next.v text/plain root:root 0o644 2.7 KB
/usr/share/doc/why/examples/kmp/Makefile text/x-makefile root:root 0o644 81 bytes
/usr/share/doc/why/examples/kmp/.depend text/plain root:root 0o644 219 bytes
/usr/share/doc/why/examples/kmp/Match.v text/plain root:root 0o644 3.9 KB
/usr/share/doc/why/examples/kmp/kmp.mlw text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples/kmp/Lex.v text/plain root:root 0o644 1.5 KB
/usr/share/doc/why/examples/kmp/kmp_why.v text/plain root:root 0o644 14.8 KB
/usr/share/doc/why/examples/mergesort/ root:root 0o755
/usr/share/doc/why/examples/mergesort/Makefile text/plain root:root 0o644 51 bytes
/usr/share/doc/why/examples/mergesort/mergesort.mlw text/plain root:root 0o644 624 bytes
/usr/share/doc/why/examples/mergesort/.depend application/x-empty root:root 0o644 0 bytes
/usr/share/doc/why/examples/mergesort/mergesort.why text/plain root:root 0o644 624 bytes
/usr/share/doc/why/examples/quicksort/ root:root 0o755
/usr/share/doc/why/examples/quicksort/Makefile text/x-makefile root:root 0o644 563 bytes
/usr/share/doc/why/examples/quicksort/.depend text/plain root:root 0o644 460 bytes
/usr/share/doc/why/examples/quicksort/Partition.v text/plain root:root 0o644 5.0 KB
/usr/share/doc/why/examples/quicksort/partition_why.v text/plain root:root 0o644 11.7 KB
/usr/share/doc/why/examples/quicksort/partition.mlw text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples/quicksort/Quicksort.v text/plain root:root 0o644 3.8 KB
/usr/share/doc/why/examples/quicksort/quicksort.mlw text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/quicksort/quicksort_why.v text/plain root:root 0o644 1.0 KB
/usr/share/doc/why/examples/selectionsort/Makefile text/x-makefile root:root 0o644 64 bytes
/usr/share/doc/why/examples/selectionsort/.depend text/plain root:root 0o644 133 bytes
/usr/share/doc/why/examples/selectionsort/selection_why.v text/plain root:root 0o644 6.2 KB
/usr/share/doc/why/examples/selectionsort/selection.mlw text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples/selectionsort/selection_why.sx text/plain root:root 0o644 20.1 KB
/usr/share/doc/why/examples/linked-lists/ root:root 0o755
/usr/share/doc/why/examples/linked-lists/Makefile text/x-makefile root:root 0o644 89 bytes
/usr/share/doc/why/examples/linked-lists/length.mlw text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples/linked-lists/length_why.v text/plain root:root 0o644 3.1 KB
/usr/share/doc/why/examples/linked-lists/.depend text/plain root:root 0o644 306 bytes
/usr/share/doc/why/examples/linked-lists/reverse.why text/plain root:root 0o644 3.4 KB
/usr/share/doc/why/examples/linked-lists/rev_why.v text/plain root:root 0o644 4.8 KB
/usr/share/doc/why/examples/linked-lists/LinkedLists.v text/plain root:root 0o644 6.2 KB
/usr/share/doc/why/examples/linked-lists/rev.mlw text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/algo-63-64-65/ root:root 0o755
/usr/share/doc/why/examples/algo-63-64-65/algo64_why.v text/plain root:root 0o644 4.1 KB
/usr/share/doc/why/examples/algo-63-64-65/Makefile text/x-makefile root:root 0o644 103 bytes
/usr/share/doc/why/examples/algo-63-64-65/algo65.mlw text/plain root:root 0o644 1002 bytes
/usr/share/doc/why/examples/algo-63-64-65/.depend application/x-empty root:root 0o644 0 bytes
/usr/share/doc/why/examples/algo-63-64-65/algo63.mlw text/plain root:root 0o644 580 bytes
/usr/share/doc/why/examples/algo-63-64-65/algo64.mlw text/plain root:root 0o644 873 bytes
/usr/share/doc/why/examples/heapsort/ root:root 0o755
/usr/share/doc/why/examples/heapsort/downheap.mlw text/plain root:root 0o644 1.8 KB
/usr/share/doc/why/examples/heapsort/heap.v text/plain root:root 0o644 4.9 KB
/usr/share/doc/why/examples/heapsort/Makefile text/x-makefile root:root 0o644 609 bytes
/usr/share/doc/why/examples/heapsort/.depend text/plain root:root 0o644 598 bytes
/usr/share/doc/why/examples/heapsort/swap_why.v text/plain root:root 0o644 7.1 KB
/usr/share/doc/why/examples/heapsort/Inftree.v text/plain root:root 0o644 5.1 KB
/usr/share/doc/why/examples/heapsort/downheap_why.v text/plain root:root 0o644 63.7 KB
/usr/share/doc/why/examples/heapsort/swap.mlw text/plain root:root 0o644 238 bytes
/usr/share/doc/why/examples/heapsort/heapsort.mlw text/plain root:root 0o644 1.8 KB
/usr/share/doc/why/examples/heapsort/heapsort_why.v text/plain root:root 0o644 55.9 KB
/usr/share/doc/why/examples/dijkstra/ root:root 0o755
/usr/share/doc/why/examples/dijkstra/Makefile text/plain root:root 0o644 135 bytes
/usr/share/doc/why/examples/dijkstra/dijkstra.why text/plain root:root 0o644 6.9 KB
/usr/share/doc/why/examples/dijkstra/dijkstra_why.v text/plain root:root 0o644 10.8 KB
/usr/share/doc/why/examples/misc/ root:root 0o755
/usr/share/doc/why/examples/misc/search_why.sx text/plain root:root 0o644 15.2 KB
/usr/share/doc/why/examples/misc/gcd.mlw text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples/misc/matrix_why.v text/plain root:root 0o644 30.8 KB
/usr/share/doc/why/examples/misc/power.mlw text/plain root:root 0o644 824 bytes
/usr/share/doc/why/examples/misc/matrix.why text/plain root:root 0o644 5.7 KB
/usr/share/doc/why/examples/misc/copy_why.v text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/misc/sqrt_dicho.mlw text/plain root:root 0o644 498 bytes
/usr/share/doc/why/examples/misc/flag_why.sx text/plain root:root 0o644 16.2 KB
/usr/share/doc/why/examples/misc/gcd_why.sx text/plain root:root 0o644 10.6 KB
/usr/share/doc/why/examples/misc/fib_why.sx text/plain root:root 0o644 29.9 KB
/usr/share/doc/why/examples/misc/Makefile text/x-makefile root:root 0o644 598 bytes
/usr/share/doc/why/examples/misc/loop0_why.v text/plain root:root 0o644 119 bytes
/usr/share/doc/why/examples/misc/swap0.mlw text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples/misc/max.mlw text/plain root:root 0o644 840 bytes
/usr/share/doc/why/examples/misc/csearch_why.sx text/plain root:root 0o644 4.7 KB
/usr/share/doc/why/examples/misc/power_why.sx text/plain root:root 0o644 8.8 KB
/usr/share/doc/why/examples/misc/sum_why.v text/plain root:root 0o644 596 bytes
/usr/share/doc/why/examples/misc/mac_carthy_why.sx text/plain root:root 0o644 6.7 KB
/usr/share/doc/why/examples/misc/arith.mlw text/plain root:root 0o644 476 bytes
/usr/share/doc/why/examples/misc/loop0_why.sx text/plain root:root 0o644 5.8 KB
/usr/share/doc/why/examples/misc/flag_ax_why.sx text/plain root:root 0o644 54.5 KB
/usr/share/doc/why/examples/misc/search_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/flag_why.v text/plain root:root 0o644 13.0 KB
/usr/share/doc/why/examples/misc/.depend text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/misc/peano.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/misc/swap0_why.v text/plain root:root 0o644 614 bytes
/usr/share/doc/why/examples/misc/arith_why.sx text/plain root:root 0o644 9.3 KB
/usr/share/doc/why/examples/misc/mac_carthy.mlw text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples/misc/gcd_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/flag_ax.mlw text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples/misc/loop0.mlw text/plain root:root 0o644 353 bytes
/usr/share/doc/why/examples/misc/sum_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/copy_why.sx text/plain root:root 0o644 1.5 KB
/usr/share/doc/why/examples/misc/sqrt_dicho_why.v text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples/misc/csearch_why.v text/plain root:root 0o644 4.6 KB
/usr/share/doc/why/examples/misc/flag.mlw text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples/misc/search.mlw text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples/misc/max_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/peano_why.sx text/plain root:root 0o644 11.5 KB
/usr/share/doc/why/examples/misc/max_why.sx text/plain root:root 0o644 20.1 KB
/usr/share/doc/why/examples/misc/sqrt_dicho_why.sx text/plain root:root 0o644 9.6 KB
/usr/share/doc/why/examples/misc/power_why.v text/plain root:root 0o644 2.9 KB
/usr/share/doc/why/examples/misc/matrix_mult.why text/plain root:root 0o644 897 bytes
/usr/share/doc/why/examples/misc/mix_max.mlw text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/misc/flag_ax_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/sum.mlw text/plain root:root 0o644 366 bytes
/usr/share/doc/why/examples/misc/fib.mlw text/plain root:root 0o644 2.5 KB
/usr/share/doc/why/examples/misc/swap0_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/arith_why.v text/plain root:root 0o644 1002 bytes
/usr/share/doc/why/examples/misc/mac_carthy_why.v text/plain root:root 0o644 714 bytes
/usr/share/doc/why/examples/misc/peano_why.v text/plain root:root 0o644 940 bytes
/usr/share/doc/why/examples/misc/fib_why.v text/plain root:root 0o644 6.0 KB
/usr/share/doc/why/examples-c/ root:root 0o755
/usr/share/doc/why/examples-c/Makefile text/x-makefile root:root 0o644 415 bytes
/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/g4.c text/x-c root:root 0o644 657 bytes
/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/coq/g4_why.v text/plain root:root 0o644 5.6 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.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/ukkonen/ root:root 0o755
/usr/share/doc/why/examples-c/ukkonen/ukkonen.c.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/why/examples-c/ukkonen/main.c text/x-c root:root 0o644 1.5 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/quicksort.c text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples-c/sorting/coq/ root:root 0o755
/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/coq/MSet.v text/plain root:root 0o644 6.6 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/average.c text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples-c/tutorial/abs.c text/plain root:root 0o644 164 bytes
/usr/share/doc/why/examples-c/tutorial/swap.c text/plain root:root 0o644 197 bytes
/usr/share/doc/why/examples-c/tutorial/search.c text/plain root:root 0o644 373 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/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/purse_why.v text/plain root:root 0o644 24.6 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/abs_why.v text/plain root:root 0o644 2.8 KB
/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/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/swap_why.v text/plain root:root 0o644 5.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/max_why.v text/plain root:root 0o644 840 bytes
/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/average_why.v text/plain root:root 0o644 9.9 KB
/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/search_spec_why.v text/plain root:root 0o644 207 bytes
/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/binary_search.c text/plain root:root 0o644 795 bytes
/usr/share/doc/why/examples-c/tutorial/flag.c text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples-c/puf/ root:root 0o755
/usr/share/doc/why/examples-c/puf/puf.c text/x-c root:root 0o644 2.5 KB
/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/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/schorr_waite_spec_why.v text/plain root:root 0o644 1.4 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_why.v text/plain root:root 0o644 289.0 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/BinTree.v text/plain root:root 0o644 12.5 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/linked-lists/ root:root 0o755
/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/Makefile text/x-makefile root:root 0o644 745 bytes
/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/swap.c text/x-c root:root 0o644 378 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/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/search_why.v text/plain root:root 0o644 3.7 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/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/swap_spec_why.v text/plain root:root 0o644 4.1 KB
/usr/share/doc/why/examples-c/linked-lists/list.h text/plain root:root 0o644 2.0 KB
/usr/share/doc/why/examples-c/float/ root:root 0o755
/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/Sterbenz2_why.v text/plain root:root 0o644 1.6 KB
/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/Sterbenz_why.v text/plain root:root 0o644 1.2 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/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

APT Browse - Built by Thomas Orozco.