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)
commit6e9cb706fd83fdfe656134c1f4baf9048d23ec00
treedf526924b0af5aebbd7c58a1fbf313cd142f8bbd
parent06eb2e397867dfdcd5bcebb401ab44cf05c8ce12
clarify that what miri does not not a reasonable choice for language semantics
personal/_posts/2018-07-24-pointers-and-bytes.md