| 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 | -10/+13 | |
| hidden type | ||||
| 2023-04-29 | Merge commit 'ef07e8e60f994ec014d049a95591426fb92ebb79' into ↵ | bjorn3 | -1/+3 | |
| sync_cg_clif-2023-04-29 | ||||
| 2022-12-14 | Merge commit '2bb3996244cf1b89878da9e39841e9f6bf061602' into ↵ | bjorn3 | -0/+24 | |
| sync_cg_clif-2022-12-14 | ||||
