prover-lab
- Latest release
- Aug 23, 2022
- Releases
- 8
- Known CVEs
- 0
- First release
- May 23, 2022
- License
- Apache-2.0
Activity
- Total releases
- 8
- Last 12 months
- 0
- Cadence
- ~10 days
- Dependencies
- 17
Releases per month
last 12 monthsRelease mix
- unknown 8
Depends on
0.3.2-
anyhow
^1.0.52
-
chrono
^0.4.19
-
clap
^3.1.8
-
codespan-reporting
^0.11.1
-
hex
^0.4.3
-
itertools
^0.10.0
-
log
^0.4.14
-
move-stackless-bytecode
^0.3.0
-
mv-compiler
^0.3.0
-
mv-model
^0.3.0
Used by
Nothing tracked depends on this yet.
| Version | Released | |
|---|---|---|
0.3.2
unknown
yanked
|
0.3.2
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.3.1
unknown
yanked
|
0.3.1
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.3.0
unknown
yanked
|
0.3.0
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.2.1
unknown
yanked
|
0.2.1
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.2.0
unknown
yanked
|
0.2.0
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.1.6
unknown
yanked
|
0.1.6
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.1.5
unknown
yanked
|
0.1.5
unknown
yanked
Dependencies (17)
+ 9 more |
|
0.1.4
unknown
yanked
|
0.1.4
unknown
yanked
Dependencies (17)
+ 9 more |