search

xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

converge concept of decl and stmt #63

Closed claude-betz closed 3 days ago

claude-betz commented 2 months ago

There is a lot of conditional logic in the code due to these being separate concepts. We should change decl into a kind of stmt.