annexia.org >> repositories - libguestfs-talks.git/tree - 2020-frama-c/snippets/

git.annexia.org / libguestfs-talks.git / tree

summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot

[libguestfs-talks.git] / 2020-frama-c / snippets /

drwxr-xr-x		..
-rw-r--r--	386	last_char.c	blob \| history \| raw
-rw-r--r--	540	range_is_empty.c	blob \| history \| raw
-rw-r--r--	787	range_size-good.c	blob \| history \| raw
-rw-r--r--	618	range_size.c	blob \| history \| raw

Various talks and seminars about libguestfs.