|
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 | |||
|---|---|---|---|---|
| 230 | 9 | mv-prover | ^0.3.0 | |
| 4 | mv-docgen | ^0.3.0 | ||
| 3 | mv-abigen | ^0.3.0 | ||
| 8 | mv-package | ^0.3.0 | ||
| 8 | move-stackless-bytecode | ^0.3.0 | ||
| 42 | move-deps | ^0.3.1 | ||
| 4 | mv-errmapgen | ^0.3.0 | ||
| 4 | mv-unit-test | ^0.3.0 | ||
| 4 | move-stackless-bytecode-interpreter | ^0.3.0 | ||
| 2 | read-write-set | ^0.3.0 | ||
| 5 | move-idl | ^0.3.1 | ||
| 2 | mv-prover-boogie-backend | ^0.3.0 | ||
| 1 | errmapgen | ^0.3.1 | ||
| prover-mutation | ^0.3.0 | |||
| 3 | move-to-yul | ^0.3.0 | ||
| spec-flatten | ^0.3.0 | |||
| prover-lab | ^0.3.0 | |||