Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io : mv-prover : 0.3.1
Move prover
Registry -
Documentation -
Download -
JSON
purl: pkg:cargo/[email protected]
Published:
Indexed:
Loading...
Readme
Loading...
Dependencies
- datatest-stable ^0.1.1 dev
- shell-words ^1.0.0 dev
- tempfile ^3.2.0 dev
- walkdir ^2.3.1 dev
- anyhow ^1.0.52 normal
- async-trait ^0.1.42 normal
- atty ^0.2.14 normal
- clap ^3.1.8 normal
- codespan ^0.11.1 normal
- codespan-reporting ^0.11.1 normal
- futures ^0.3.12 normal
- hex ^0.4.3 normal
- itertools ^0.10.0 normal
- log ^0.4.14 normal
- move-command-line-common ^0.3.0 normal
- move-stackless-bytecode ^0.3.0 normal
- mv-abigen ^0.3.0 normal
- mv-binary-format ^0.3.0 normal
- mv-compiler ^0.3.0 normal
- mv-core-types ^0.3.0 normal
- mv-docgen ^0.3.0 normal
- mv-errmapgen ^0.3.0 normal
- mv-ir-types ^0.3.0 normal
- mv-model ^0.3.0 normal
- mv-prover-boogie-backend ^0.3.0 normal
- num ^0.4.0 normal
- once_cell ^1.7.2 normal
- pretty ^0.10.0 normal
- rand ^0.8.3 normal
- serde ^1.0.124 normal
- serde_json ^1.0.64 normal
- simplelog ^0.9.0 normal
- tokio ^1.18.2 normal
- toml ^0.5.8 normal