ellmau/adf-obdd
1
0
Fork 0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00
Code Issues Projects Releases Wiki Activity

Merge 826bad2db1c23c093bc4b71c843f9590914b9442 into 530fb5c4e61650be2eea062704036a11c386f8bc

Browse Source
This commit is contained in:
dependabot[bot] 2024-01-08 11:07:01 +00:00 committed by GitHub
commit bd60e8bcd3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Cargo.lock generated
View File

@ -2592,24 +2592,24 @@ checksum = "73473c0e59e6d5812c5dfe2a064a6444949f089e20eec9a2e5506596494e4623"
[[package]] [[package]]
name = "strum" name = "strum"
version = "0.24.1" version = "0.25.0"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "063e6045c0e62079840579a7e47a355ae92f60eb74daaf156fb1e84ba164e63f" checksum = "290d54ea6f91c969195bdbcd7442c8c2a2ba87da8bf60a7ee86a235d4bc1e125"
dependencies = [ dependencies = [
"strum_macros", "strum_macros",
] ]
[[package]] [[package]]
name = "strum_macros" name = "strum_macros"
version = "0.24.3" version = "0.25.3"
source = "registry+https://github.com/rust-lang/crates.io-index" source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1e385be0d24f186b4ce2f9982191e7101bb737312ad61c1f2f984f34bcf85d59" checksum = "23dc1fa9ac9c169a78ba62f0b841814b7abae11bdd047b9c58f893439e309ea0"
dependencies = [ dependencies = [
"heck", "heck",
"proc-macro2", "proc-macro2",
"quote", "quote",
"rustversion", "rustversion",
"syn 1.0.109", "syn 2.0.28",
] ]
[[package]] [[package]]

2
bin/Cargo.toml
View File

@ -22,7 +22,7 @@ log = { version = "0.4", features = [ "max_level_trace", "release_max_level_info
serde = { version = "1.0", features = ["derive","rc"] } serde = { version = "1.0", features = ["derive","rc"] }
serde_json = "1.0" serde_json = "1.0"
env_logger = "0.10" env_logger = "0.10"
strum = { version = "0.24" } strum = { version = "0.25" }
crossbeam-channel = "0.5" crossbeam-channel = "0.5"
[dev-dependencies] [dev-dependencies]

2
lib/Cargo.toml
View File

@ -31,7 +31,7 @@ serde_json = "1.0"
biodivine-lib-bdd = "0.5.0" biodivine-lib-bdd = "0.5.0"
derivative = "2.2.0" derivative = "2.2.0"
roaring = "0.10.1" roaring = "0.10.1"
strum = { version = "0.24", features = ["derive"] } strum = { version = "0.25", features = ["derive"] }
crossbeam-channel = "0.5" crossbeam-channel = "0.5"
rand = {version = "0.8.5", features = ["std_rng"]} rand = {version = "0.8.5", features = ["std_rng"]}