Slides for 4xxx.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 13:25:32 +0000 (14:25 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 14 Oct 2020 13:25:32 +0000 (14:25 +0100)
commit062da27127bc876eaeb4c728ed50bf744a3bcaa7
tree8796ff542fbddb781034646fde6dd5117550fa13
parentd8e14d47fcb1059c50c2af2652cb9837c70fc50f
Slides for 4xxx.
12 files changed:
2020-frama-c/4000-range-is-empty-again.html [new file with mode: 0644]
2020-frama-c/4100-range-contains-1.html [new file with mode: 0644]
2020-frama-c/4200-range-contains-2.html [new file with mode: 0644]
2020-frama-c/4300-range-make-empty.html [new file with mode: 0644]
2020-frama-c/4400-range-size-1.html [new file with mode: 0644]
2020-frama-c/4500-range-size-2.term [new file with mode: 0755]
2020-frama-c/4600-range-size-3.html [new file with mode: 0644]
2020-frama-c/4700-range-size-4.term [new file with mode: 0755]
2020-frama-c/4800-range-init.html [new file with mode: 0644]
2020-frama-c/4850-range-init.html [new file with mode: 0644]
2020-frama-c/4870-range-init-spec.html [new file with mode: 0644]
2020-frama-c/4890-range-init-spec-2.html [new file with mode: 0644]