clarify that what miri does not not a reasonable choice for language semantics
authorRalf Jung <post@ralfj.de>
Wed, 25 Jul 2018 10:47:56 +0000 (12:47 +0200)
committerRalf Jung <post@ralfj.de>
Wed, 25 Jul 2018 10:47:56 +0000 (12:47 +0200)
commitfe1578dd475dac3c3ea3362d6ec04d0796b0f9d5
tree03394f8070cdfd65a6f8e665a6229b7253e05da6
parent1b7a10c028bb1743ad15fbdc5748db1f91a6cbee
clarify that what miri does not not a reasonable choice for language semantics
personal/_posts/2018-07-24-pointers-and-bytes.md