git.annexia.org / libguestfs-talks.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add note about benchmarking.
[libguestfs-talks.git] / 2020-frama-c /
2020-11-16 Richard W.M. JonesTighten intro. tree | commitdiff
2020-11-16 Richard W.M. Jonestest_strlen -> strlen tree | commitdiff
2020-11-16 Richard W.M. JonesAdd summary slide about range. tree | commitdiff
2020-11-16 Richard W.M. JonesDrop slides about proving power of 2 function. tree | commitdiff
2020-11-12 Richard W.M. JonesMore updates. tree | commitdiff
2020-11-12 Richard W.M. JonesReworking after run through with Paolo. tree | commitdiff
2020-10-15 Richard W.M. JonesFix z3. tree | commitdiff
2020-10-15 Richard W.M. Jonesnotes.txt: Add link to Z3 model_compress bug. tree | commitdiff
2020-10-14 Richard W.M. Jones6xxx strlen and 9xxx conclusions. tree | commitdiff
2020-10-14 Richard W.M. Jones5xxx functions from nbdkit. tree | commitdiff
2020-10-14 Richard W.M. JonesSlides for 4xxx. tree | commitdiff
2020-10-14 Richard W.M. JonesSlides for 3xxx. tree | commitdiff
2020-10-14 Richard W.M. JonesSlides for 2xxx. tree | commitdiff
2020-10-14 Richard W.M. JonesAdd outline of slides. tree | commitdiff
2020-10-14 Richard W.M. JonesAdd page breaks in notes. tree | commitdiff
2020-10-13 Richard W.M. JonesAdd resources. tree | commitdiff
2020-10-13 Richard W.M. JonesUpdate notes for talk on Frama-C. tree | commitdiff
2020-10-13 Richard W.M. JonesAdd notes for talk on Frama-C. tree | commitdiff
Various talks and seminars about libguestfs.