[](https://deps.rs/repo/github/xldenis/creusot)
This project contains:
cargo-creusot(9 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.132 | up to date |
| toml | ^0.5.8 | 0.8.19 | out of date |
| env_logger | ^0.10 | 0.11.5 | out of date |
| serde | ^1.0 | 1.0.214 | up to date |
| anyhow | ^1.0 | 1.0.92 | up to date |
| cargo_metadata | ^0.18.1 | 0.18.1 | up to date |
| include_dir | ^0.7.3 | 0.7.4 | up to date |
| tempdir | ^0.3.7 | 0.3.7 | up to date |
| glob | ^0.3.1 | 0.3.1 | up to date |
creusot-rustc(4 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.132 | up to date |
| toml | ^0.5.8 | 0.8.19 | out of date |
| env_logger | ^0.10 | 0.11.5 | out of date |
| serde | ^1.0 | 1.0.214 | up to date |
creusot(11 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.10 | 0.13.0 | out of date |
| log | ^0.4 | 0.4.22 | up to date |
| serde | ^1.0 | 1.0.214 | up to date |
| indexmap | ^1.7.0 | 2.6.0 | out of date |
| toml | ^0.5.8 | 0.8.19 | out of date |
| clap | ^4.2 | 4.5.20 | up to date |
| include_dir | ^0.7.3 | 0.7.4 | up to date |
| tempdir | ^0.3.7 | 0.3.7 | up to date |
| serde_json | ^1.0 | 1.0.132 | up to date |
| lazy_static | ^1.4.0 | 1.5.0 | up to date |
| pathdiff | ^0.2 | 0.2.2 | up to date |
(7 total, 2 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| regex | ^1.10.5 | 1.11.1 | up to date |
| glob | * | 0.3.1 | up to date |
| assert_cmd | ^1.0 | 2.0.16 | out of date |
| similar | ^2.2 | 2.6.0 | up to date |
| termcolor | ^1.1 | 1.4.1 | up to date |
| arraydeque | ^0.4 | 0.5.1 | out of date |
| escargot | ^0.5 | 0.5.13 | up to date |
creusot-contracts(1 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| num-rational | ^0.3.2 | 0.4.2 | out of date |
creusot-contracts-proc(4 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| quote | ^1.0.35 | 1.0.37 | up to date |
| uuid | ^1.3 | 1.11.0 | up to date |
| syn | ^2.0.15 | 2.0.87 | up to date |
| proc-macro2 | ^1.0.29 | 1.0.89 | up to date |
creusot-contracts-dummy(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| quote | ^1.0.35 | 1.0.37 | up to date |
| proc-macro2 | ^1.0.29 | 1.0.89 | up to date |
creusot-metadata(1 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| indexmap | ^1.7.0 | 2.6.0 | out of date |
why3(6 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| itertools | ^0.10 | 0.13.0 | out of date |
| pretty | ^0.11 | 0.12.3 | out of date |
| indexmap | ^1.2.0 | 2.6.0 | out of date |
| serde | ^1.0 | 1.0.214 | up to date |
| num | ^0.4 | 0.4.3 | up to date |
| serde_json | ^1.0.107 | 1.0.132 | up to date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| proptest | ^1.4.0 | 1.5.0 | up to date |
| tempfile | ^3.10.0 | 3.13.0 | up to date |
why3tests(6 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| glob | * | 0.3.1 | up to date |
| assert_cmd | ^1.0 | 2.0.16 | out of date |
| termcolor | ^1.1 | 1.4.1 | up to date |
| git2 | ^0.14.4 | 0.19.0 | out of date |
| clap | ^4.2 | 4.5.20 | up to date |
| roxmltree | ^0.18.0 | 0.20.0 | out of date |
pearlite-syn(3 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| syn | ^2.0.15 | 2.0.87 | up to date |
| proc-macro2 | ^1.0.76 | 1.0.89 | up to date |
| quote | ^1.0.35 | 1.0.37 | up to date |
(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| insta | ^1.0.29 | 1.41.1 | up to date |
| ref-cast | ^1.0 | 1.0.23 | up to date |
creusot-args(2 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| clap | ^4.2.5 | 4.5.20 | up to date |
| serde | ^1.0.195 | 1.0.214 | up to date |
creusot-setup(10 total, 4 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde | ^1.0 | 1.0.214 | up to date |
| toml | ^0.5.8 | 0.8.19 | out of date |
| directories | ^5.0 | 5.0.1 | up to date |
| which | ^6.0 | 7.0.0 | out of date |
| anyhow | ^1.0 | 1.0.92 | up to date |
| reqwest | ^0.11 | 0.12.9 | out of date |
| zip | ^0.6 | 2.2.0 | out of date |
| hex | ^0.4 | 0.4.3 | up to date |
| sha2 | ^0.10 | 0.10.8 | up to date |
| indoc | ^2.0.5 | 2.0.5 | up to date |
creusot-dev-config(2 total, 1 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| anyhow | ^1.0 | 1.0.92 | up to date |
| which | ^6.0 | 7.0.0 | out of date |