-
Notifications
You must be signed in to change notification settings - Fork 62
Insights: verifast/verifast
Dependency graph
55 Total
- capnp >= 0.18.0, < 0.19.0
- capnp-futures >= 0.18.0, < 0.19.0
- futures >= 0.3.0, < 0.4.0
- futures >= 0.3.0, < 0.4.0
- tokio >= 1.0.0, < 2.0.0
- tokio-util >= 0.7.4, < 0.8.0
- futures >= 0.3.0, < 0.4.0
- tokio >= 1.0.0, < 2.0.0
- tokio-util >= 0.7.4, < 0.8.0
- capnp >= 0.18.0, < 0.19.0
- embedded-io >= 0.5.0, < 0.6.0
- quickcheck >= 1.0.0, < 2.0.0
- rand >= 0.8.5, < 0.9.0
- wasmer >= 4.0.0, < 5.0.0
- libc >= 0.2.153, < 0.3.0