| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2017-08-04 | test MIR validation statements in closures | Ralf Jung | -5/+23 |
| 2017-08-01 | also release-validate return value before a call | Ralf Jung | -1/+1 |
| 2017-08-01 | handle tuple struct ctors | Ralf Jung | -12/+12 |
| 2017-07-31 | Handle closures. Add some more tests. | Ralf Jung | -0/+7 |
| 2017-07-31 | fix AddValidation on methods | Ralf Jung | -18/+21 |
| 2017-07-31 | more readable printing of validation operands | Ralf Jung | -7/+7 |
| 2017-07-31 | optionally only emit basic validation for functions containing unsafe block /... | Ralf Jung | -1/+1 |
| 2017-07-30 | silence tidy | Ralf Jung | -0/+1 |
| 2017-07-30 | Add tests for emitting validation statements | Ralf Jung | -0/+48 |
