search

xr0-org / xr0

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

Implement new "in-place" splitting procedure #25

Closed akiarie closed 7 months ago