gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

Length assertions #4

Closed conradz closed 3 years ago

conradz commented 3 years ago

C0 defines a \length(arr) expression that can be used in assertions/conditions. Currently this is not being parsed.