Slides for 2xxx.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 12:14:09 +0000 (13:14 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 12:14:09 +0000 (13:14 +0100)
commit263a44294225fe9b2ab4974c56b5fca0a28574df
treee90db21c622d897aab4cb0dfd0d8e24bc33061e3
parentbb6d169e8983d33850dc99a9704242ed06cc159b
Slides for 2xxx.
2020-frama-c/2000-range-intro.term [new file with mode: 0755]
2020-frama-c/2100-range-struct.html [new file with mode: 0644]
2020-frama-c/2200-range-predicates.html [new file with mode: 0644]
2020-frama-c/2300-range-is-empty.term [new file with mode: 0755]
2020-frama-c/notes.txt
2020-frama-c/run
2020-frama-c/style.css