cargo-certora-sbf
- Latest release
- Mar 27, 2026
- Releases
- 7
- Known CVEs
- 0
- First release
- Apr 04, 2025
- License
- Apache-2.0
Activity
- Total releases
- 7
- Last 12 months
- 3
- Cadence
- ~11 days
- Dependencies
- 17
Releases per month
last 12 monthsRelease mix
- minor 1
- patch 5
Depends on
0.3.5-
assert_cmd ^2.0 dev
-
assert_fs ^1.1.2 dev
-
bzip2 ^0.5.2
-
cargo_metadata ^0.19.2
-
clap ^4.5.35
-
clap-cargo ^0.15.2
-
clap-verbosity-flag ^3.0.2
-
env_logger ^0.11.8
-
home ^0.5.11
-
itertools ^0.14.0
Used by
Nothing tracked depends on this yet.
| Version | Released | |
|---|---|---|
0.3.5
patch
|
0.3.5
patch
Dependencies (17)
+ 9 more |
|
0.3.4
patch
|
0.3.4
patch
Dependencies (17)
+ 9 more |
|
0.3.3
patch
|
0.3.3
patch
Dependencies (17)
+ 9 more |
|
0.3.2
patch
|
0.3.2
patch
Dependencies (19)
+ 11 more |
|
0.3.1
patch
|
0.3.1
patch
Dependencies (19)
+ 11 more |
|
0.3.0
minor
|
0.3.0
minor
Dependencies (19)
+ 11 more |
|
0.2.0
initial
|
0.2.0
initial
Dependencies (18)
+ 10 more |