link to compcert
authorRalf Jung <post@ralfj.de>
Tue, 24 Jul 2018 15:38:36 +0000 (17:38 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 24 Jul 2018 15:40:37 +0000 (17:40 +0200)
commit313bcc4654c4a8a47485535125506bbf35c52cb9
treebc523b65143edaafa6cfa2d5b95fcbc64f0ba479
parent97e64303244a752b153900e6a78e54ad8e3d3421
link to compcert
ralf/_posts/2018-07-24-pointers-and-bytes.md