search

xr0-org / xr0

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

Move functionality of verify into ast #11

Closed claude-betz closed 8 months ago