| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2017-12-03 | fix tests in wasm | Ariel Ben-Yehuda | -0/+2 |
| 2017-12-03 | funnel all unwind paths through a single Resume block | Ariel Ben-Yehuda | -1/+1 |
| 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/+8 |
| 2017-07-31 | more readable printing of validation operands | Ralf Jung | -2/+2 |
| 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/+26 |
