Active direct dependers over time: total, gained/lost
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
120 2 read-write-set ^0.3.0
110 prover-mutation ^0.3.0
spec-flatten ^0.3.0
8 mv-package ^0.3.0
4 mv-docgen ^0.3.0
3 mv-abigen ^0.3.0
5 move-idl ^0.3.1
9 mv-prover ^0.3.0
4 mv-errmapgen ^0.3.0
prover-lab ^0.3.0
42 move-deps ^0.3.1
2 mv-prover-boogie-backend ^0.3.0
8 move-stackless-bytecode ^0.3.0
4 mv-unit-test ^0.3.0
1 errmapgen ^0.3.1
4 move-stackless-bytecode-interpreter ^0.3.0
3 move-to-yul ^0.3.0