else - Githubissues

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 4 months ago

claude-betz commented 5 months ago

Apparently our omission of else is too jarring for some people to engage with the deeper discussion of what we are proposing.

claude-betz commented 5 months ago

This all reconciles due to this refinement of our splitting logic https://github.com/xr0-org/xr0/issues/37

akiarie commented 4 months ago

resolved in v0.14.0