3 ms·
Is there a public link for your verifier? What style of semantics are you using for it and what sort of programs and features can you reason about?
by siraben 5y ago
Is there a public link for your verifier? What style of semantics are you using for it and what sort of programs and features can you reason about?
- junon 5y agoIt's not yet published unfortunately, I'll probably post it here once it's closer to completion. It's being written for a new OS kernel.