git.annexia.org / libguestfs-talks.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
flamegraphs: Improve the title page
[libguestfs-talks.git] / 2020-frama-c / notes.txt
2020-11-16 Richard W.M. JonesAdd summary slide about range. commit | commitdiff
2020-11-12 Richard W.M. JonesMore updates. commit | commitdiff
2020-10-15 Richard W.M. JonesFix z3. commit | commitdiff
2020-10-15 Richard W.M. Jonesnotes.txt: Add link to Z3 model_compress bug. commit | commitdiff
2020-10-14 Richard W.M. JonesSlides for 3xxx. commit | commitdiff
2020-10-14 Richard W.M. JonesSlides for 2xxx. commit | commitdiff
2020-10-14 Richard W.M. JonesAdd page breaks in notes. commit | commitdiff
2020-10-13 Richard W.M. JonesAdd resources. commit | commitdiff
2020-10-13 Richard W.M. JonesUpdate notes for talk on Frama-C. commit | commitdiff
2020-10-13 Richard W.M. JonesAdd notes for talk on Frama-C. commit | commitdiff
Various talks and seminars about libguestfs.