git.annexia.org
/
libguestfs-talks.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
e54bd37fbeb2e7f662d4223bea463a4942483073
-rw-r--r--
19
.gitignore
blob
|
raw
-rw-r--r--
705
1000-introduction.html
blob
|
raw
-rwxr-xr-x
772
1500-frama-c-core-plugins.html
blob
|
raw
-rwxr-xr-x
439
1700-frama-c-history.html
blob
|
raw
-rwxr-xr-x
225
2000-range-intro.term
blob
|
raw
-rw-r--r--
1049
2100-range-struct.html
blob
|
raw
-rw-r--r--
628
2200-range-predicates.html
blob
|
raw
-rwxr-xr-x
203
2300-range-is-empty.term
blob
|
raw
-rw-r--r--
807
2400-range-is-empty.html
blob
|
raw
-rw-r--r--
404
2500-range-contains-1.html
blob
|
raw
-rw-r--r--
735
2550-range-contains-2.html
blob
|
raw
-rw-r--r--
568
2600-range-make-empty.html
blob
|
raw
-rw-r--r--
374
2700-range-size-1.html
blob
|
raw
-rwxr-xr-x
275
2710-range-size-2.term
blob
|
raw
-rw-r--r--
924
2720-range-size-3.html
blob
|
raw
-rwxr-xr-x
201
2730-range-size-4.term
blob
|
raw
-rw-r--r--
553
2800-range-init.html
blob
|
raw
-rw-r--r--
1465
2810-range-init.html
blob
|
raw
-rw-r--r--
724
2820-range-init-spec.html
blob
|
raw
-rw-r--r--
611
2830-range-init-spec-2.html
blob
|
raw
-rw-r--r--
483
2900-range-summary.html
blob
|
raw
-rw-r--r--
512
5200-timeval.html
blob
|
raw
-rw-r--r--
987
5300-timeval.html
blob
|
raw
-rw-r--r--
2838
5400-timeval.html
blob
|
raw
-rw-r--r--
2013
6000-strverscmp.html
blob
|
raw
-rw-r--r--
470
6100-strlen-0.html
blob
|
raw
-rw-r--r--
633
6200-strlen-1.html
blob
|
raw
-rw-r--r--
1254
6300-strlen-2.html
blob
|
raw
-rw-r--r--
938
6400-strlen-kernel-proof.html
blob
|
raw
-rwxr-xr-x
292
6500-strlen.term
blob
|
raw
-rw-r--r--
572
9000-conclusions-1.html
blob
|
raw
-rw-r--r--
481
9100-conclusions-2.html
blob
|
raw
-rw-r--r--
821
9200-alternatives.html
blob
|
raw
-rw-r--r--
1844
9300-resources.html
blob
|
raw
-rw-r--r--
692
bashrc
blob
|
raw
-rw-r--r--
0
code.js
blob
|
raw
-rw-r--r--
1162
functions
blob
|
raw
-rw-r--r--
22540
notes.txt
blob
|
raw
-rw-r--r--
8766
redhat.png
blob
|
raw
-rwxr-xr-x
27
restore
blob
|
raw
-rwxr-xr-x
466
run
blob
|
raw
drwxr-xr-x
-
slides
tree
drwxr-xr-x
-
snippets
tree
-rw-r--r--
1846
style.css
blob
|
raw