Sign in Sign up
cargo

cargo-prosa

ProSA: Worldline Rust framework

cargo View on Cargo github View on Github

Activity

Latest release
1mo ago
Total releases
13
Cadence
~2 months
Last 12 months
4

Reach

Stars
9

Details

License
unknown
First release
Mar 20, 2024
Releases
Version Released
0.5.0 minor
0.4.2 patch
0.4.1 patch
0.4.0 minor
0.3.1 patch
0.3.0 minor
0.2.2 patch
0.2.1 patch
0.2.0 minor
0.1.2 patch
0.1.1 patch
0.1.0 minor
0.0.0 initial