The CoCompiler Enables Automatic Lifting Between C and Lustre

The CoCompiler lifts low‑level C code into Lustre and back, built by re‑implementing the verified Vélus compiler with the Walrus relational language. Read more: getnews.me/the-cocompiler-enables-a... #cocompiler #lustre