Skip to content

Latest commit

 

History

History
15 lines (13 loc) · 357 Bytes

README.md

File metadata and controls

15 lines (13 loc) · 357 Bytes

Concrat

Concurrent-C to Rust Automatic Translator

git clone https://github.com/kaist-plrg/concrat
cd concrat
rustup component add rust-src rustc-dev llvm-tools-preview
cargo build --release
cargo build --manifest-path deps_crate/Cargo.toml
cargo test --release --lib
./test_dataflow.sh
./test_examples.sh
./test_bench.sh