[](https://deps.rs/repo/github/xldenis/creusot)
This project contains 1 insecure development dependency.
cargo-creusot(10 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.32 | up to date |
| serde_json | ^1.0 | 1.0.140 | up to date |
| toml | ^0.8 | 0.8.20 | up to date |
| env_logger | ^0.11 | 0.11.7 | up to date |
| serde | ^1.0 | 1.0.219 | up to date |
| anyhow | ^1.0 | 1.0.97 | up to date |
| cargo_metadata | ^0.19 | 0.19.2 | up to date |
| include_dir | ^0.7 | 0.7.4 | up to date |
| tempdir | ^0.3 | 0.3.7 | up to date |
| glob | ^0.3 | 0.3.2 | up to date |
creusot-rustc(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.140 | up to date |
| env_logger | ^0.11 | 0.11.7 | up to date |
| serde | ^1.0 | 1.0.219 | up to date |
creusot(11 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.14 | 0.14.0 | up to date |
| log | ^0.4 | 0.4.26 | up to date |
| serde | ^1.0 | 1.0.219 | up to date |
| indexmap | ^2.7 | 2.8.0 | up to date |
| toml | ^0.8 | 0.8.20 | up to date |
| include_dir | ^0.7 | 0.7.4 | up to date |
| tempdir | ^0.3 | 0.3.7 | up to date |
| serde_json | ^1.0 | 1.0.140 | up to date |
| lazy_static | ^1.5 | 1.5.0 | up to date |
| pathdiff | ^0.2 | 0.2.3 | up to date |
| once_map | ^0.4 | 0.4.21 | up to date |
creusot-contractsNo external dependencies! 🙌
creusot-contracts-proc(4 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| quote | ^1.0 | 1.0.40 | up to date |
| uuid | ^1.12 | 1.15.1 | up to date |
| syn | ^2.0 | 2.0.100 | up to date |
| proc-macro2 | ^1.0 | 1.0.94 | up to date |
creusot-contracts-dummy(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| quote | ^1.0 | 1.0.40 | up to date |
| proc-macro2 | ^1.0 | 1.0.94 | up to date |
| syn | ^2 | 2.0.100 | up to date |
creusot-metadata(1 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| indexmap | ^2.7 | 2.8.0 | up to date |
creusot-dev-config(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| anyhow | ^1.0 | 1.0.97 | up to date |
| which | ^7.0 | 7.0.2 | up to date |
creusot-install(8 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.32 | up to date |
| anyhow | ^1.0 | 1.0.97 | up to date |
| directories | ^6.0 | 6.0.0 | up to date |
| indoc | ^2.0.5 | 2.0.6 | up to date |
| reqwest | ^0.12 | 0.12.14 | up to date |
| sha2 | ^0.10 | 0.10.8 | up to date |
| hex | ^0.4 | 0.4.3 | up to date |
| zip | ^2.2 | 2.2.3 | up to date |
why3(6 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.14 | 0.14.0 | up to date |
| pretty | ^0.12 | 0.12.3 | up to date |
| indexmap | ^2.7 | 2.8.0 | up to date |
| serde | ^1.0 | 1.0.219 | up to date |
| num | ^0.4 | 0.4.3 | up to date |
| serde_json | ^1.0 | 1.0.140 | up to date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| proptest | ^1.6 | 1.6.0 | up to date |
| tempfile | ^3.16 | 3.19.0 | up to date |
why3tests(7 total, 1 possibly insecure)
| Crate | Required | Latest | Status |
|---|---|---|---|
| glob | * | 0.3.2 | up to date |
| assert_cmd | ^2.0 | 2.0.16 | up to date |
| termcolor | ^1.4 | 1.4.1 | up to date |
| git2 | ^0.20 | 0.20.0 | up to date |
| clap | ^4.5 | 4.5.32 | up to date |
| roxmltree | ^0.20.0 | 0.20.0 | up to date |
| regex ⚠️ | * | 1.11.1 | maybe insecure |
creusot-tests(8 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.32 | up to date |
| regex | ^1.11 | 1.11.1 | up to date |
| glob | * | 0.3.2 | up to date |
| assert_cmd | ^2.0 | 2.0.16 | up to date |
| similar | ^2.7 | 2.7.0 | up to date |
| termcolor | ^1.4 | 1.4.1 | up to date |
| escargot | ^0.5 | 0.5.13 | up to date |
| libc | ^0.2 | 0.2.171 | up to date |
pearlite-syn(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| syn | ^2.0 | 2.0.100 | up to date |
| proc-macro2 | ^1.0 | 1.0.94 | up to date |
| quote | ^1.0 | 1.0.40 | up to date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| insta | ^1.42 | 1.42.2 | up to date |
| ref-cast | ^1.0 | 1.0.24 | up to date |
creusot-args(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.32 | up to date |
| serde | ^1.0 | 1.0.219 | up to date |
creusot-setup(5 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde | ^1.0 | 1.0.219 | up to date |
| toml | ^0.8 | 0.8.20 | up to date |
| directories | ^6.0 | 6.0.0 | up to date |
| which | ^7.0 | 7.0.2 | up to date |
| anyhow | ^1.0 | 1.0.97 | up to date |