Converge abstract and body syntax

xr0-org / xr0

The Xr0 Verifier for C

https://xr0.dev

Apache License 2.0

173 stars 4 forks source link

Closed claude-betz closed 5 months ago

claude-betz commented 5 months ago

We would like to converge the syntax in our abstracts and body to reduce the delta to C. Previously we would allocate like this. This involves:

replacing the result keyword with return as in C and making it behave the same.
replacing our abstract .alloc and .dealloc keywords with .malloc and .free.