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)
commit7f664f1f429187a9892d497a664cc0560b8b1443
tree7a56f6e2bc8316da76f6e98b20163ca5ae9420c4
parent8d1f227d5caf3a95626347b1bdc991ecf5acf822
link to compcert
personal/_posts/2018-07-24-pointers-and-bytes.md