Verify parse.x while it is working end-to-end - Githubissues

xr0-org / xr0

The Xr0 Verifier for C

https://xr0.dev

Apache License 2.0

173 stars 4 forks source link

Verify parse.x while it is working end-to-end #21

Closed akiarie closed 6 months ago