search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

disallow oversized tags for variants #393

Closed zebraNeon closed 3 years ago

zebraNeon commented 3 years ago

tag size is determined by the maximum tag value among alternatives

for variants without any alternative, tag of size 1bit is allowed, this behaviour might be discussed later

zilinc commented 3 years ago

Merged. Thanks for the contribution. Fixes #386