Add summary slide about range.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 10:55:49 +0000 (10:55 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 10:55:49 +0000 (10:55 +0000)
commit9332d16bf6696137441d39ed5295dd998e70eb8d
tree8964259a5e42eaf628a2dd7db1e205a3185448f0
parent04a731265e422c5e0992dd9f855d6b0897f15bff
Add summary slide about range.
2020-frama-c/2900-range-summary.html [new file with mode: 0644]
2020-frama-c/notes.txt