CSY/reowolf Files · README.md · Centrum Wiskunde & Informatica (CWI)

Files @ 63f3efc9c886

Branch filter:

Location: CSY/reowolf/README.md

63f3efc9c886 676 B text/markdown Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

more logging, tests and comments. re-implemented checking for consistency for natives (eagerly) and proto components (after run_to_blocker). deduplicated each connector's failure requests toward the sink

# Reowolf 1.0 Implementation

## Compilation instructions
1. Install the latest stable Rust toolchain using Rustup. See https://rustup.rs/ for further instructions.
2. Run `cargo build --release` to download source dependencies, and compile the library with release-level optimizations. 
	- The resulting dylib can be found in target/release/, to be used with the header file reowolf.h.
	- Note: A list of immediate ancestor dependencies is visible in Cargo.toml.
	- Note: Run `cargo test --release` to run unit tests with release-level optimizations.
3. Running `cbindgen > reowolf.h` from the root will overwrite the header file. (WIP) This is only necessary to update it.