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-contracts
No 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 |