Adds Unbounded Integer Type - #1033

Merged

ArquintL merged 8 commits into

arquintl-unbounded-int

Jun 2, 2026

Commits on Jun 2, 2026

Add ghost integer type

ArquintL
and
jcp19
committed
6e84e1a
Register `integer` as a built-in type

ArquintL
and
jcp19
committed
5e4878f
Adopt integer typing restrictions

ArquintL
and
jcp19
committed
2f859f1
Add untyped integer constant kind

ArquintL
and
jcp19
committed
9dd24d6
removes unnecessary 'ghost' modifier
ArquintL
committed
75324a5
Reverts "removes unnecessary 'ghost' modifier"
ArquintL
committed
b6bf87c
Reverts "Add untyped integer constant kind"
ArquintL
committed
0245ebb
Remove fractional permission constructor changes

ArquintL
and
jcp19
committed
102323f