From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Mon, 20 May 2019 09:10:19 +0000 (+0200)
Subject: Merge pull request #734 from RalfJung/readme
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c2e88b3869745582935152fe1d82952badd57750;p=rust.git

Merge pull request #734 from RalfJung/readme

expand explanation of how we treat validity invariants
---

c2e88b3869745582935152fe1d82952badd57750