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
0
0
0
0