search

xr0-org / xr0

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

Converge 0v and 0c #26

Closed claude-betz closed 5 months ago

claude-betz commented 7 months ago

We currently have split binaries for verification and compilation in Xr0 in the form of 0v and 0c . It make sense to converge these have the compilation done via supplying a commandline argument to one.