Skip to content

Concurrent-C to Rust Automatic Translator

License

Notifications You must be signed in to change notification settings

kaist-plrg/concrat

Folders and files

NameName
Last commit message
Last commit date

Latest commit

64c17d4 · Jan 26, 2023
Jan 9, 2023
Jan 10, 2023
Jan 25, 2023
Aug 21, 2022
Aug 18, 2022
Aug 31, 2022
Jan 26, 2023
Jan 7, 2023
Aug 15, 2022
Aug 6, 2022
Jan 6, 2023
Jan 6, 2023
Aug 18, 2022
Aug 22, 2022
Jul 7, 2022
Jan 10, 2023

Repository files navigation

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