Converge 0v and 0c
Closed this issue · 0 comments
claude-betz commented
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.