Pressure is a counterpart of PurePress in Rust.
git clone https://github.com/verilab/pressure.git
git clone https://github.com/verilab/pressure-demo.git
cd pressure
PRESSURE_INSTANCE=/path/to/pressure-demo cargo run-
Notifications
You must be signed in to change notification settings - Fork 0
verilab/pressure
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A counterpart of PurePress in Rust.