git.annexia.org
/
libguestfs-talks.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
Slides for 4xxx.
[libguestfs-talks.git]
/
2020-frama-c
/
drwxr-xr-x
..
-rw-r--r--
19
.gitignore
blob
|
history
|
raw
-rw-r--r--
705
1000-introduction.html
blob
|
history
|
raw
-rwxr-xr-x
225
2000-range-intro.term
blob
|
history
|
raw
-rw-r--r--
1049
2100-range-struct.html
blob
|
history
|
raw
-rw-r--r--
628
2200-range-predicates.html
blob
|
history
|
raw
-rwxr-xr-x
203
2300-range-is-empty.term
blob
|
history
|
raw
-rwxr-xr-x
413
3000-frama-c.html
blob
|
history
|
raw
-rwxr-xr-x
439
3100-frama-c.html
blob
|
history
|
raw
-rwxr-xr-x
439
3200-frama-c.html
blob
|
history
|
raw
-rwxr-xr-x
439
3300-frama-c.html
blob
|
history
|
raw
-rwxr-xr-x
439
3400-frama-c.html
blob
|
history
|
raw
-rwxr-xr-x
439
3500-frama-c.html
blob
|
history
|
raw
-rw-r--r--
815
4000-range-is-empty-again.html
blob
|
history
|
raw
-rw-r--r--
404
4100-range-contains-1.html
blob
|
history
|
raw
-rw-r--r--
735
4200-range-contains-2.html
blob
|
history
|
raw
-rw-r--r--
568
4300-range-make-empty.html
blob
|
history
|
raw
-rw-r--r--
374
4400-range-size-1.html
blob
|
history
|
raw
-rwxr-xr-x
191
4500-range-size-2.term
blob
|
history
|
raw
-rw-r--r--
924
4600-range-size-3.html
blob
|
history
|
raw
-rwxr-xr-x
201
4700-range-size-4.term
blob
|
history
|
raw
-rw-r--r--
553
4800-range-init.html
blob
|
history
|
raw
-rw-r--r--
1465
4850-range-init.html
blob
|
history
|
raw
-rw-r--r--
724
4870-range-init-spec.html
blob
|
history
|
raw
-rw-r--r--
611
4890-range-init-spec-2.html
blob
|
history
|
raw
-rw-r--r--
692
bashrc
blob
|
history
|
raw
-rw-r--r--
0
code.js
blob
|
history
|
raw
-rw-r--r--
1162
functions
blob
|
history
|
raw
-rw-r--r--
22374
notes.txt
blob
|
history
|
raw
-rw-r--r--
8766
redhat.png
blob
|
history
|
raw
-rwxr-xr-x
27
restore
blob
|
history
|
raw
-rwxr-xr-x
466
run
blob
|
history
|
raw
drwxr-xr-x
-
slides
tree
|
history
drwxr-xr-x
-
snippets
tree
|
history
-rw-r--r--
1846
style.css
blob
|
history
|
raw