For an introduction to the Behavior Oriented Concurrency model, see the OOPSLA 2023 Paper. This library aims to provide idiomatic Rust bindings to the Verona runtime, as introduced in that paper.
This is a research project, and is at an early stage of development. It is not ready for use outside of research.
Cargo will automatically invoke cmake. However, when working on the bindings, it's nicer to use it manually.
cd crates/verona-rt-sys/cpp
cmake -B build -GNinja -D VERONA_RT_ONLY_HEADER_LIBRARY=ON
ninja -C build
RUSTFLAGS="-Zsanitizer=thread" cargo +nightly test -Zbuild-std --target x86_64-unknown-linux-gnu --test cown-minimal