Slides for 3xxx.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 12:42:22 +0000 (13:42 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 12:43:30 +0000 (13:43 +0100)
commitd8e14d47fcb1059c50c2af2652cb9837c70fc50f
tree7223d51938bc1ca940b0f6ecc21d52a24bd1a3a6
parent263a44294225fe9b2ab4974c56b5fca0a28574df
Slides for 3xxx.
14 files changed:
2020-frama-c/2300-range-is-empty.term
2020-frama-c/3000-frama-c.html [new file with mode: 0755]
2020-frama-c/3100-frama-c.html [new file with mode: 0755]
2020-frama-c/3200-frama-c.html [new file with mode: 0755]
2020-frama-c/3300-frama-c.html [new file with mode: 0755]
2020-frama-c/3400-frama-c.html [new file with mode: 0755]
2020-frama-c/3500-frama-c.html [new file with mode: 0755]
2020-frama-c/notes.txt
2020-frama-c/slides/README.txt [new file with mode: 0644]
2020-frama-c/slides/slide01.png [new file with mode: 0644]
2020-frama-c/slides/slide02.png [new file with mode: 0644]
2020-frama-c/slides/slide03.png [new file with mode: 0644]
2020-frama-c/slides/slide04.png [new file with mode: 0644]
2020-frama-c/slides/slide05.png [new file with mode: 0644]