why-examples 2.34-2 in debian - jessie / main

About

This package is 139.8 KB. It is available at http://ftp.debian.org/debian/pool/main/w/why/why-examples_2.34-2_all.deb .

View its full control file here: debian/control.

Description

Examples of programs certified with Why

Relations

This package depends on: libwhy-coq, why.

This package does not recommend any other package.

This package does not suggest any other package.

This package does not conflict with any other package.

Package Contents

This package is indexed.

why-examples 2.34-2 is in debian - jessie / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/why/ root:root 0o755
/usr/share/doc/why-examples/ root:root 0o755
/usr/share/doc/why/examples/ root:root 0o755
/usr/share/doc/why/examples/algo-63-64-65/ root:root 0o755
/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/algo-63-64-65/algo64_why.v text/plain root:root 0o644 4.1 KB
/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/Makefile text/x-makefile root:root 0o644 103 bytes
/usr/share/doc/why/examples/binary-search/ root:root 0o755
/usr/share/doc/why/examples/binary-search/bsearch.mlw text/plain root:root 0o644 1016 bytes
/usr/share/doc/why/examples/binary-search/bsearch_why.sx text/plain root:root 0o644 17.3 KB
/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/.depend text/plain root:root 0o644 123 bytes
/usr/share/doc/why/examples/binary-search/Makefile text/x-makefile root:root 0o644 73 bytes
/usr/share/doc/why/examples/bresenham/ root:root 0o755
/usr/share/doc/why/examples/bresenham/bresenham_coq.mlw text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/bresenham/bresenham_coq_why.v text/plain root:root 0o644 4.9 KB
/usr/share/doc/why/examples/bresenham/bresenham_inv.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/.depend text/plain root:root 0o644 155 bytes
/usr/share/doc/why/examples/bresenham/Makefile text/x-makefile root:root 0o644 71 bytes
/usr/share/doc/why/examples/bresenham/zaux.v text/plain root:root 0o644 6.4 KB
/usr/share/doc/why/examples-c/ root:root 0o755
/usr/share/doc/why/examples-c/float/ root:root 0o755
/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/float/Malcolm.c text/x-c root:root 0o644 290 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/Sterbenz.c text/x-c root:root 0o644 122 bytes
/usr/share/doc/why/examples-c/g4/ root:root 0o755
/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/g4_why.v text/plain root:root 0o644 5.6 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/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/g4/Makefile text/plain root:root 0o644 762 bytes
/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-c/linked-lists/ root:root 0o755
/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/Makefile text/x-makefile root:root 0o644 745 bytes
/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/Makefile text/x-makefile root:root 0o644 415 bytes
/usr/share/doc/why-examples/copyright text/plain root:root 0o644 3.8 KB
/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/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/caduceus_spec_why.v text/plain root:root 0o644 1.6 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/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/Makefile text/x-makefile root:root 0o644 524 bytes
/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/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/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/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/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/Makefile text/plain root:root 0o644 894 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/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
/usr/share/doc/why/examples/dijkstra/ root:root 0o755
/usr/share/doc/why/examples/dijkstra/.depend application/x-empty root:root 0o644 0 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/dijkstra/Makefile text/plain root:root 0o644 135 bytes
/usr/share/doc/why/examples/edit-distance/ root:root 0o755
/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.sx text/plain root:root 0o644 36.0 KB
/usr/share/doc/why/examples/edit-distance/distance_why.v text/plain root:root 0o644 7.5 KB
/usr/share/doc/why/examples/edit-distance/Makefile text/x-makefile root:root 0o644 72 bytes
/usr/share/doc/why/examples/edit-distance/words.v text/plain root:root 0o644 11.3 KB
/usr/share/doc/why/examples/find/ root:root 0o755
/usr/share/doc/why/examples/find/.depend text/plain root:root 0o644 359 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.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/find/find_spec.v text/plain root:root 0o644 2.4 KB
/usr/share/doc/why/examples/find/find_why.v text/plain root:root 0o644 8.9 KB
/usr/share/doc/why/examples/find/Makefile text/x-makefile root:root 0o644 96 bytes
/usr/share/doc/why/examples/heapsort/ root:root 0o755
/usr/share/doc/why/examples/heapsort/.depend text/plain root:root 0o644 598 bytes
/usr/share/doc/why/examples/heapsort/downheap.mlw text/plain root:root 0o644 1.8 KB
/usr/share/doc/why/examples/heapsort/downheap_why.v text/plain root:root 0o644 63.7 KB
/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/heapsort/heap.v text/plain root:root 0o644 4.9 KB
/usr/share/doc/why/examples/heapsort/Inftree.v text/plain root:root 0o644 5.1 KB
/usr/share/doc/why/examples/heapsort/Makefile text/x-makefile root:root 0o644 609 bytes
/usr/share/doc/why/examples/heapsort/swap.mlw text/plain root:root 0o644 238 bytes
/usr/share/doc/why/examples/heapsort/swap_why.v text/plain root:root 0o644 7.1 KB
/usr/share/doc/why/examples/kmp/ root:root 0o755
/usr/share/doc/why/examples/kmp/.depend text/plain root:root 0o644 219 bytes
/usr/share/doc/why/examples/kmp/kmp.mlw text/plain root:root 0o644 2.8 KB
/usr/share/doc/why/examples/kmp/kmp_why.v text/plain root:root 0o644 14.8 KB
/usr/share/doc/why/examples/kmp/Lex.v text/plain root:root 0o644 1.5 KB
/usr/share/doc/why/examples/kmp/Makefile text/x-makefile root:root 0o644 81 bytes
/usr/share/doc/why/examples/kmp/Match.v text/plain root:root 0o644 3.9 KB
/usr/share/doc/why/examples/kmp/Next.v text/plain root:root 0o644 2.7 KB
/usr/share/doc/why/examples/linked-lists/ root:root 0o755
/usr/share/doc/why/examples/linked-lists/.depend text/plain root:root 0o644 306 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/LinkedLists.v text/plain root:root 0o644 6.2 KB
/usr/share/doc/why/examples/linked-lists/Makefile text/x-makefile root:root 0o644 89 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.mlw text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/linked-lists/rev_why.v text/plain root:root 0o644 4.8 KB
/usr/share/doc/why/examples/Makefile text/x-makefile root:root 0o644 478 bytes
/usr/share/doc/why/examples/Makefile.common text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/maximumsort/ root:root 0o755
/usr/share/doc/why/examples/maximumsort/.depend text/plain root:root 0o644 143 bytes
/usr/share/doc/why/examples/maximumsort/Makefile text/x-makefile root:root 0o644 83 bytes
/usr/share/doc/why/examples/maximumsort/maximumsort.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/maximumsort/maximumsort_why.sx text/plain root:root 0o644 16.3 KB
/usr/share/doc/why/examples/maximumsort/maximumsort_why.v text/plain root:root 0o644 8.4 KB
/usr/share/doc/why/examples/mergesort/ root:root 0o755
/usr/share/doc/why/examples/mergesort/.depend application/x-empty root:root 0o644 0 bytes
/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/mergesort.why text/plain root:root 0o644 624 bytes
/usr/share/doc/why/examples/misc/ root:root 0o755
/usr/share/doc/why/examples/misc/arith.mlw text/plain root:root 0o644 476 bytes
/usr/share/doc/why/examples/misc/arith_why.sx text/plain root:root 0o644 9.3 KB
/usr/share/doc/why/examples/misc/arith_why.v text/plain root:root 0o644 1002 bytes
/usr/share/doc/why/examples/misc/copy_why.sx text/plain root:root 0o644 1.5 KB
/usr/share/doc/why/examples/misc/copy_why.v text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/misc/csearch_why.sx text/plain root:root 0o644 4.7 KB
/usr/share/doc/why/examples/misc/csearch_why.v text/plain root:root 0o644 4.6 KB
/usr/share/doc/why/examples/misc/.depend text/plain root:root 0o644 1.7 KB
/usr/share/doc/why/examples/misc/fib.mlw text/plain root:root 0o644 2.5 KB
/usr/share/doc/why/examples/misc/fib_why.sx text/plain root:root 0o644 29.9 KB
/usr/share/doc/why/examples/misc/fib_why.v text/plain root:root 0o644 6.0 KB
/usr/share/doc/why/examples/misc/flag_ax.mlw text/plain root:root 0o644 2.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/flag_ax_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/flag.mlw text/plain root:root 0o644 1.1 KB
/usr/share/doc/why/examples/misc/flag_why.sx text/plain root:root 0o644 16.2 KB
/usr/share/doc/why/examples/misc/flag_why.v text/plain root:root 0o644 13.0 KB
/usr/share/doc/why/examples/misc/gcd.mlw text/plain root:root 0o644 1.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/gcd_why.v text/plain root:root 0o644 2.2 KB
/usr/share/doc/why/examples/misc/loop0.mlw text/plain root:root 0o644 353 bytes
/usr/share/doc/why/examples/misc/loop0_why.sx text/plain root:root 0o644 5.8 KB
/usr/share/doc/why/examples/misc/loop0_why.v text/plain root:root 0o644 119 bytes
/usr/share/doc/why/examples/misc/mac_carthy.mlw text/plain root:root 0o644 1.2 KB
/usr/share/doc/why/examples/misc/mac_carthy_why.sx text/plain root:root 0o644 6.7 KB
/usr/share/doc/why/examples/misc/mac_carthy_why.v text/plain root:root 0o644 714 bytes
/usr/share/doc/why/examples/misc/Makefile text/x-makefile root:root 0o644 598 bytes
/usr/share/doc/why/examples/misc/matrix_mult.why text/plain root:root 0o644 897 bytes
/usr/share/doc/why/examples/misc/matrix.why text/plain root:root 0o644 5.7 KB
/usr/share/doc/why/examples/misc/matrix_why.v text/plain root:root 0o644 30.8 KB
/usr/share/doc/why/examples/misc/max.mlw text/plain root:root 0o644 840 bytes
/usr/share/doc/why/examples/misc/max_why.sx text/plain root:root 0o644 20.1 KB
/usr/share/doc/why/examples/misc/max_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/mix_max.mlw 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/peano_why.sx text/plain root:root 0o644 11.5 KB
/usr/share/doc/why/examples/misc/peano_why.v text/plain root:root 0o644 940 bytes
/usr/share/doc/why/examples/misc/power.mlw text/plain root:root 0o644 824 bytes
/usr/share/doc/why/examples/misc/power_why.sx text/plain root:root 0o644 8.8 KB
/usr/share/doc/why/examples/misc/power_why.v text/plain root:root 0o644 2.9 KB
/usr/share/doc/why/examples/misc/search.mlw text/plain root:root 0o644 1.6 KB
/usr/share/doc/why/examples/misc/search_why.sx text/plain root:root 0o644 15.2 KB
/usr/share/doc/why/examples/misc/search_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/misc/sqrt_dicho.mlw text/plain root:root 0o644 498 bytes
/usr/share/doc/why/examples/misc/sqrt_dicho_why.sx text/plain root:root 0o644 9.6 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/sum.mlw text/plain root:root 0o644 366 bytes
/usr/share/doc/why/examples/misc/sum_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/sum_why.v text/plain root:root 0o644 596 bytes
/usr/share/doc/why/examples/misc/swap0.mlw text/plain root:root 0o644 1.3 KB
/usr/share/doc/why/examples/misc/swap0_why.sx text/plain root:root 0o644 6.5 KB
/usr/share/doc/why/examples/misc/swap0_why.v text/plain root:root 0o644 614 bytes
/usr/share/doc/why/examples/queens/ root:root 0o755
/usr/share/doc/why/examples/queens/.depend application/x-empty root:root 0o644 0 bytes
/usr/share/doc/why/examples/queens/Makefile text/plain root:root 0o644 600 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/quicksort/ root:root 0o755
/usr/share/doc/why/examples/quicksort2/ root:root 0o755
/usr/share/doc/why/examples/quicksort2/.depend text/plain root:root 0o644 138 bytes
/usr/share/doc/why/examples/quicksort2/Makefile text/x-makefile root:root 0o644 79 bytes
/usr/share/doc/why/examples/quicksort2/quicksort2.mlw text/plain root:root 0o644 1.4 KB
/usr/share/doc/why/examples/quicksort2/quicksort2_why.sx text/plain root:root 0o644 19.7 KB
/usr/share/doc/why/examples/quicksort2/quicksort2_why.v text/plain root:root 0o644 4.5 KB
/usr/share/doc/why/examples/quicksort/.depend text/plain root:root 0o644 460 bytes
/usr/share/doc/why/examples/quicksort/Makefile text/x-makefile root:root 0o644 563 bytes
/usr/share/doc/why/examples/quicksort/partition.mlw text/plain root:root 0o644 2.8 KB
/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/quicksort.mlw text/plain root:root 0o644 1.9 KB
/usr/share/doc/why/examples/quicksort/Quicksort.v text/plain root:root 0o644 3.8 KB
/usr/share/doc/why/examples/quicksort/quicksort_why.v text/plain root:root 0o644 1.0 KB
/usr/share/doc/why/examples/selectionsort/ root:root 0o755
/usr/share/doc/why/examples/selectionsort/.depend text/plain root:root 0o644 133 bytes
/usr/share/doc/why/examples/selectionsort/Makefile text/x-makefile root:root 0o644 64 bytes
/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/selectionsort/selection_why.v text/plain root:root 0o644 6.2 KB
/usr/share/doc/why/examples/sqrt/ root:root 0o755
/usr/share/doc/why/examples/sqrt/.depend text/plain root:root 0o644 108 bytes
/usr/share/doc/why/examples/sqrt/Makefile text/x-makefile root:root 0o644 58 bytes
/usr/share/doc/why/examples/sqrt/simple.mlw text/plain root:root 0o644 360 bytes
/usr/share/doc/why/examples/sqrt/simple_why.v text/plain root:root 0o644 4.3 KB
/usr/share/doc/why/examples/sqrt/sqrt.mlw text/plain root:root 0o644 856 bytes
/usr/share/doc/why/examples/sqrt/sqrt_why.sx text/plain root:root 0o644 10.1 KB
/usr/share/doc/why/examples/sqrt/sqrt_why.v text/plain root:root 0o644 6.3 KB
/usr/share/doc/why/examples/string-matching/ root:root 0o755
/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/.depend text/plain root:root 0o644 358 bytes
/usr/share/doc/why/examples/string-matching/Makefile text/x-makefile root:root 0o644 86 bytes
/usr/share/doc/why/examples/string-matching/Match.v text/plain root:root 0o644 4.4 KB
/usr/share/doc/why/examples/string-matching/not_so_naive_why.v text/plain root:root 0o644 5.8 KB

APT Browse - Built by Thomas Orozco.