| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-18 | rename `ui-fulldeps/stable-mir` | Makai | -93/+0 | |
| 2025-07-14 | rename `stable_mir` to `rustc_public`, and `rustc_smir` to `rustc_public_bridge` | Makai | -3/+3 | |
| 2025-07-07 | remove `rustc_smir` from tests | Makai | -2/+1 | |
| 2025-04-24 | Refactor `StableMir` to avoid some clones. | Nicholas Nethercote | -1/+1 | |
| Pass `args` to `run` instead of storing it in a field. This avoids the need to clone it within `run`. Also, change `args` from `Vec<String>` to `&[String]`, avoiding the need for some vecs and clones. | ||||
| 2025-04-13 | import rustc_smir::rustc_internal in run_driver! | zjp | -1/+0 | |
| 2025-02-03 | Enable more tests on Windows | Ben Kimock | -1/+0 | |
| 2024-11-09 | Pass TyCtxt instead of Queries to the after_analysis callbacks | bjorn3 | -0/+1 | |
| There is no other query that may need to be called at that point anyway. | ||||
| 2024-03-28 | Normalize the result of Fields::ty_with_args | Celina G. Val | -0/+95 | |
| We were only instantiating before, which would leak an AliasTy. I added a test case that reproduce the issue seen here: https://github.com/model-checking/kani/issues/3113 | ||||
