git.annexia.org / libguestfs-talks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54595cf) | patch
Update notes for talk on Frama-C.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 17:29:26 +0000 (18:29 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 20:00:13 +0000 (21:00 +0100)
commitdfb5e4bcf891d3068d245d195376f54575d8655e
tree7f09f3dcbccacdaf430c616377a2fdfc0e2d3900tree | snapshot
parent54595cfdd8aa441edb5e4738e4643f3c5fbbe471commit | diff
Update notes for talk on Frama-C.
2020-frama-c/notes.txt diff | blob | history
2020-frama-c/snippets/last_char.c [new file with mode: 0644] blob
2020-frama-c/snippets/range_is_empty.c [new file with mode: 0644] blob
2020-frama-c/snippets/range_size-good.c [new file with mode: 0644] blob
2020-frama-c/snippets/range_size.c [new file with mode: 0644] blob
Various talks and seminars about libguestfs.