| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-07-26 | Do not check Sync during type_of. | Camille GILLOT | -2/+0 | |
| 2025-07-25 | Check statics' type in type_of. | Camille GILLOT | -1/+2 | |
| 2025-07-25 | Look at layout for completeness. | Camille GILLOT | -0/+2 | |
| 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/+17 | |
| hidden type | ||||
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 | |
| 2023-10-20 | Rename `generator` folder | Oli Scherer | -0/+28 | |
