| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2017-11-28 | tests: update to include move annotations in MIR. | Eduard-Mihai Burtescu | -1/+1 |
| 2017-11-09 | change MIR dump filenames from `nodeN` to `DefPath` | Mikhail Modin | -2/+2 |
| 2017-10-09 | Update README and tests for new infrastructure | Christopher Vittal | -0/+15 |
| 2017-09-01 | rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree. | Eduard-Mihai Burtescu | -6/+6 |
| 2017-09-01 | rustc: use hir::ItemLocalId instead of ast::NodeId in CodeExtent. | Eduard-Mihai Burtescu | -7/+7 |
| 2017-08-01 | also release-validate return value before a call | Ralf Jung | -1/+1 |
| 2017-07-31 | more readable printing of validation operands | Ralf Jung | -5/+5 |
| 2017-07-31 | optionally only emit basic validation for functions containing unsafe block /... | Ralf Jung | -8/+12 |
| 2017-07-30 | silence tidy | Ralf Jung | -0/+1 |
| 2017-07-30 | Add tests for emitting validation statements | Ralf Jung | -0/+45 |
