/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
|