| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-12-15 | s/PatCtxt/PlaceCtxt/ | Nadrieril | -5/+5 |
| 2023-12-15 | Address review comments | Nadrieril | -2/+1 |
| 2023-12-15 | Make the `rustc_data_structures` dependency optional | Nadrieril | -5/+8 |
| 2023-12-15 | Gate rustc-specific code under a feature | Nadrieril | -0/+1 |
| 2023-12-15 | Iron out last rustc-specific details | Nadrieril | -5/+19 |
| 2023-12-15 | Abstract `MatchCheckCtxt` into a trait | Nadrieril | -36/+29 |
| 2023-12-15 | Split `Single` ctor into more specific variants | Nadrieril | -13/+35 |
| 2023-12-12 | Update compiler/rustc_pattern_analysis/src/constructor.rs | Matthias Krüger | -0/+1 |
| 2023-12-12 | simplify merging of two vecs | Matthias Krüger | -1/+1 |
| 2023-12-11 | Fix doc links | Nadrieril | -12/+12 |
| 2023-12-11 | Fix item visibilities | Nadrieril | -9/+9 |
| 2023-12-11 | Make `MaybeInfiniteInt` rustc-independent | Nadrieril | -19/+25 |
| 2023-12-11 | Gather rustc-specific functions around `MatchCheckCtxt` | Nadrieril | -269/+9 |
| 2023-12-11 | Extract exhaustiveness into its own crate | Nadrieril | -0/+1241 |
