| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -0/+1 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -2/+2 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -0/+22 |
