| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2022-11-09 | Add domain size check to fix ICE | Cameron Steffen | -1/+2 |
| 2022-10-10 | Check representability in adt_sized_constraint | Cameron Steffen | -13/+1 |
| 2022-10-07 | Rewrite representability | Cameron Steffen | -5/+165 |
| 2022-09-06 | Make `HandleCycleError` an enum instead of a macro-generated closure | Joshua Nelson | -0/+54 |
