Add notes for talk on Frama-C.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 15:16:25 +0000 (16:16 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 13 Oct 2020 15:16:25 +0000 (16:16 +0100)
commit54595cfdd8aa441edb5e4738e4643f3c5fbbe471
treed4da2a3fa4649ad2836664f7bba99420b2be8af0
parent4a495ffea4aca7bad1298bc8b5abf2863bf16bed
Add notes for talk on Frama-C.
2020-frama-c/notes.txt [new file with mode: 0644]