| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-05-21 | Add some track_caller info to precondition panics | Ben Kimock | -1/+1 |
| 2024-04-03 | Remove MIR unsafe check | Matthew Jasper | -4/+2 |
| 2024-03-27 | Eliminate `UbCheck` for non-standard libraries | DianQK | -10/+1 |
| 2024-03-23 | refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib... | Ralf Jung | -1/+5 |
| 2024-03-08 | Distinguish between library and lang UB in assert_unsafe_precondition | Ben Kimock | -1/+1 |
| 2024-02-08 | Bless/fix tests | Ben Kimock | -5/+17 |
| 2023-10-31 | Only emit `!=` assumptions if the otherwise target is reachable. | Camille GILLOT | -4/+1 |
| 2023-10-31 | Simplify assume of a constant. | Camille GILLOT | -14/+6 |
| 2023-10-31 | Replace SwitchInt to unreachable by an assumption. | Camille GILLOT | -1/+7 |
| 2023-06-15 | Remove comments from mir-opt MIR dumps | Ben Kimock | -10/+10 |
| 2023-05-21 | Normalize block and local orders in mir-opt tests | Scott McMurray | -4/+4 |
| 2023-04-23 | Add mir-opt tests to track MIR quality. | Camille GILLOT | -0/+27 |
