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)
commitd32c1e927cb459a72d8463644239bdd711515aed
tree365c06b1d75570682936c63655310a251b0fc093
parent310633084a9d0ea5945a4e44c32264a834c34a4e
clarify that what miri does not not a reasonable choice for language semantics
ralf/_posts/2018-07-24-pointers-and-bytes.md