| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2020-02-15 | fix tests, and use variants to test debug and release builds together | Ralf Jung | -66/+0 | |
| 2020-01-24 | Normalise notes with the/is | varkor | -1/+1 | |
| 2020-01-18 | Fix some tests failing in `--pass check` mode | Vadim Petrochenkov | -11/+11 | |
| 2020-01-10 | Errors in promoteds may only cause lints not hard errors | Oliver Scherer | -30/+27 | |
| 2020-01-10 | Promote `Ref`s to constants instead of static | Santiago Pastorino | -5/+18 | |
| 2019-12-21 | rework run-fail and support check,build-fail | Mazdak Farrokhzad | -9/+9 | |
| 2019-12-01 | Miri core engine: use throw_ub instead of throw_panic | Ralf Jung | -18/+6 | |
| 2019-09-02 | Fix tests again | Yuki Okushi | -0/+68 | |
