15
|
15
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
17
|
13
|
8 | |
2022 | 2023 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
mv-model is used at run time in 132 crates (of which 1 optionally). It is a direct run-time dependency in 17 crates. It's used only as a dev dependency in 10 crates.
Depender (with downloads and own rev deps) | mv-model version | |||
---|---|---|---|---|
1 | errmapgen | ^0.3.1 | ||
5 | move-idl | ^0.3.1 | ||
3 | move-to-yul | ^0.3.0 | ||
prover-lab | ^0.3.0 | |||
4 | mv-docgen | ^0.3.0 | ||
prover-mutation | ^0.3.0 | |||
3 | mv-abigen | ^0.3.0 | ||
8 | mv-package | ^0.3.0 | ||
spec-flatten | ^0.3.0 | |||
42 | move-deps | ^0.3.1 | ||
8 | move-stackless-bytecode | ^0.3.0 | ||
4 | move-stackless-bytecode-interpreter | ^0.3.0 | ||
4 | mv-errmapgen | ^0.3.0 | ||
9 | mv-prover | ^0.3.0 | ||
2 | mv-prover-boogie-backend | ^0.3.0 | ||
4 | mv-unit-test | ^0.3.0 | ||
2 | read-write-set | ^0.3.0 |