mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-20 09:39:38 +01:00
Compare commits
2 Commits
9b485d79b4
...
1b0442df96
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
1b0442df96 | ||
|
|
95b802d12d |
10
Cargo.lock
generated
10
Cargo.lock
generated
@ -2886,24 +2886,24 @@ checksum = "7da8b5736845d9f2fcb837ea5d9e2628564b3b043a70948a3f0b778838c5fb4f"
|
||||
|
||||
[[package]]
|
||||
name = "strum"
|
||||
version = "0.24.1"
|
||||
version = "0.26.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "063e6045c0e62079840579a7e47a355ae92f60eb74daaf156fb1e84ba164e63f"
|
||||
checksum = "5d8cec3501a5194c432b2b7976db6b7d10ec95c253208b45f83f7136aa985e29"
|
||||
dependencies = [
|
||||
"strum_macros",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "strum_macros"
|
||||
version = "0.24.3"
|
||||
version = "0.26.2"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "1e385be0d24f186b4ce2f9982191e7101bb737312ad61c1f2f984f34bcf85d59"
|
||||
checksum = "c6cf59daf282c0a494ba14fd21610a0325f9f90ec9d1231dea26bcb1d696c946"
|
||||
dependencies = [
|
||||
"heck 0.4.1",
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"rustversion",
|
||||
"syn 1.0.109",
|
||||
"syn 2.0.28",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
||||
@ -22,7 +22,7 @@ log = { version = "0.4", features = [ "max_level_trace", "release_max_level_info
|
||||
serde = { version = "1.0", features = ["derive","rc"] }
|
||||
serde_json = "1.0"
|
||||
env_logger = "0.10"
|
||||
strum = { version = "0.24" }
|
||||
strum = { version = "0.26" }
|
||||
crossbeam-channel = "0.5"
|
||||
|
||||
[dev-dependencies]
|
||||
|
||||
@ -31,7 +31,7 @@ serde_json = "1.0"
|
||||
biodivine-lib-bdd = "0.5.0"
|
||||
derivative = "2.2.0"
|
||||
roaring = "0.10.1"
|
||||
strum = { version = "0.24", features = ["derive"] }
|
||||
strum = { version = "0.26", features = ["derive"] }
|
||||
crossbeam-channel = "0.5"
|
||||
rand = {version = "0.8.5", features = ["std_rng"]}
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user