| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -2/+2 | |
| the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. | ||||
| 2024-09-24 | be even more precise about "cast" vs "coercion" | Lukas Markeffsky | -1/+1 | |
| 2024-09-24 | unify dyn* coercions with other pointer coercions | Lukas Markeffsky | -1/+0 | |
| 2024-08-18 | rename AddressOf -> RawBorrow inside the compiler | Ralf Jung | -1/+1 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -1/+2 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-06-20 | Convert some module-level `//` and `///` comments to `//!`. | Nicholas Nethercote | -1/+2 | |
| This makes their intent and expected location clearer. We see some examples where these comments were not clearly separate from `use` declarations, which made it hard to understand what the comment is describing. | ||||
| 2024-05-17 | Remove `Rvalue::CheckedBinaryOp` | Scott McMurray | -1/+0 | |
| 2024-04-20 | Add a non-shallow fake borrow | Nadrieril | -2/+2 | |
| 2024-04-20 | Rework fake borrow calculation | Nadrieril | -0/+5 | |
| 2024-04-03 | rename `expose_addr` to `expose_provenance` | joboet | -1/+1 | |
| 2024-03-23 | rename MIR int2ptr casts to match library name | Ralf Jung | -1/+1 | |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer ↵ | Ralf Jung | -1/+1 | |
| is immutable | ||||
| 2023-11-21 | Fix `clippy::needless_borrow` in the compiler | Nilstrieb | -1/+1 | |
| `x clippy compiler -Aclippy::all -Wclippy::needless_borrow --fix`. Then I had to remove a few unnecessary parens and muts that were exposed now. | ||||
| 2023-11-08 | rename `BorrowKind::Shallow` to `Fake` | lcnr | -2/+2 | |
| also adds some comments | ||||
| 2023-10-02 | Add docs, remove code, change subtyper code | ouz-a | -0/+3 | |
| 2023-09-21 | rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::Const | Ralf Jung | -8/+28 | |
| 2023-09-19 | organize mir pretty.rs and move more things into it; move statement-related ↵ | Ralf Jung | -0/+441 | |
| things out of mir/mod.rs | ||||
