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 3xxx.
[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--
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