mv-prover is used at run time in 112 crates (of which 1 optionally). It is a direct run-time dependency in 6 crates. It's used only as a dev dependency in 15 crates (of which 3 directly).
Depender (with downloads and own rev deps) | mv-prover version | |||
---|---|---|---|---|
spec-flatten | ^0.3.0 | |||
prover-lab | ^0.3.0 | |||
prover-mutation | ^0.3.0 | |||
42 | move-deps | ^0.3.1 | ||
4 | mv-cli | ^0.3.0 | ||
14 | mv-stdlib | ^0.3.0 | ||
3 | mv-abigen | dev | ^0.3.0 | |
4 | mv-docgen | dev | ^0.3.0 | |
4 | mv-errmapgen | dev | ^0.3.0 |