[](https://deps.rs/repo/github/xldenis/creusot)
This project contains:
cargo-creusot(9 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.50 | up to date |
| serde_json | ^1.0 | 1.0.145 | up to date |
| toml | ^0.8 | 0.9.8 | out of date |
| env_logger | ^0.11 | 0.11.8 | up to date |
| serde | ^1.0 | 1.0.228 | up to date |
| anyhow | ^1.0 | 1.0.100 | up to date |
| cargo_metadata | ^0.19 | 0.23.0 | out of date |
| glob | ^0.3 | 0.3.3 | up to date |
| toml_edit | ^0.22.24 | 0.23.7 | out of date |
creusot(8 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.14 | 0.14.0 | up to date |
| log | ^0.4 | 0.4.28 | up to date |
| serde | ^1.0 | 1.0.228 | up to date |
| indexmap | ^2.7 | 2.12.0 | up to date |
| toml | ^0.8 | 0.9.8 | out of 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.23 | up to date |
creusot-contracts(1 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| num-rational | ^0.4 | 0.4.2 | up to date |
creusot-contracts-proc(4 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| quote | ^1.0 | 1.0.41 | up to date |
| uuid | ^1.12 | 1.18.1 | up to date |
| syn | ^2.0 | 2.0.108 | up to date |
| proc-macro2 | ^1.0 | 1.0.103 | up to date |
creusot-dev-config(2 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| anyhow | ^1.0 | 1.0.100 | up to date |
| which | ^7.0 | 8.0.0 | out of date |
creusot-install(7 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.50 | up to date |
| anyhow | ^1.0 | 1.0.100 | up to date |
| directories | ^6.0 | 6.0.0 | up to date |
| indoc | ^2.0.5 | 2.0.7 | up to date |
| sha2 | ^0.10 | 0.10.9 | up to date |
| hex | ^0.4 | 0.4.3 | up to date |
| zip | ^2.2 | 6.0.0 | out of date |
creusot-metadata(1 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| indexmap | ^2.7 | 2.12.0 | up to date |
creusot-rustc(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.145 | up to date |
| env_logger | ^0.11 | 0.11.8 | up to date |
| serde | ^1.0 | 1.0.228 | up to date |
pearlite-syn(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| syn | ^2.0 | 2.0.108 | up to date |
| proc-macro2 | ^1.0 | 1.0.103 | up to date |
| quote | ^1.0 | 1.0.41 | up to date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| insta | ^1.42 | 1.43.2 | up to date |
| ref-cast | ^1.0 | 1.0.25 | up to date |
prelude-generator(1 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| anyhow | ^1.0 | 1.0.100 | up to date |
creusot-tests(7 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.50 | up to date |
| regex | ^1.11 | 1.12.2 | up to date |
| glob | * | 0.3.3 | up to date |
| assert_cmd | ^2.0 | 2.0.17 | up to date |
| similar | ^2.7 | 2.7.0 | up to date |
| termcolor | ^1.4 | 1.4.1 | up to date |
| libc | ^0.2 | 0.2.177 | up to date |
why3(7 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.14 | 0.14.0 | up to date |
| pretty | ^0.12 | 0.12.5 | up to date |
| indexmap | ^2.7 | 2.12.0 | up to date |
| serde | ^1.0 | 1.0.228 | up to date |
| num | ^0.4 | 0.4.3 | up to date |
| serde_json | ^1.0 | 1.0.145 | up to date |
| string-interner | ^0.18.0 | 0.19.0 | out of date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| proptest | ^1.6 | 1.8.0 | up to date |
| tempfile | ^3.16 | 3.23.0 | up to date |
why3tests(7 total, 1 outdated, 1 possibly insecure)
| Crate | Required | Latest | Status |
|---|---|---|---|
| glob | * | 0.3.3 | up to date |
| assert_cmd | ^2.0 | 2.0.17 | up to date |
| termcolor | ^1.4 | 1.4.1 | up to date |
| git2 | ^0.20 | 0.20.2 | up to date |
| clap | ^4.5 | 4.5.50 | up to date |
| roxmltree | ^0.20.0 | 0.21.1 | out of date |
| regex ⚠️ | * | 1.12.2 | maybe insecure |
creusot-args(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.5 | 4.5.50 | up to date |
| serde | ^1.0 | 1.0.228 | up to date |
creusot-setup(5 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde | ^1.0 | 1.0.228 | up to date |
| toml | ^0.8 | 0.9.8 | out of date |
| directories | ^6.0 | 6.0.0 | up to date |
| which | ^7.0 | 8.0.0 | out of date |
| anyhow | ^1.0 | 1.0.100 | up to date |