| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -13/+11 | |
| 2024-06-12 | Require any function with a tait in its signature to actually constrain a ↵ | Oli Scherer | -8/+13 | |
| hidden type | ||||
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+24 | |
