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 |