| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -5/+0 |
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -1/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -2/+2 |
| 2023-06-22 | Point to argument/return type instead of the whole function header | Oli Scherer | -2/+2 |
| 2023-05-12 | Use the opaque_types_defined_by query to cheaply check for whether a hidden t... | Oli Scherer | -0/+22 |
