search

thomashart17 / c-rust

Repo for hosting examples of interoperability of rust and C using LLVM 14.
0 stars 2 forks source link

Pure Rust Jobs #5

Closed agurfinkel closed 1 year ago

agurfinkel commented 1 year ago

Allow for pure Rust jobs where all assumptions, assertions, and everything is in Rust.