Skip to content

Commit

Permalink
chore(deps): update dependencies (minor changes)
Browse files Browse the repository at this point in the history
  • Loading branch information
renovate[bot] authored Sep 26, 2024
1 parent 3a9ffcd commit 97feed4
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -29,25 +29,25 @@ name = "unicorn"
path = "src/main.rs"

[dependencies]
byteorder = "~1.4.3"
clap = { version = "~4.3.3", features = ["cargo"] }
strum = { version = "~0.24.1", features = ["derive"] }
byteorder = "~1.5.0"
clap = { version = "~4.5.0", features = ["cargo"] }
strum = { version = "~0.26.0", features = ["derive"] }
riscu = "~0.5"
log = "~0.4.19"
regex = "~1.8.4"
env_logger = "~0.10"
bytesize = "~1.2"
regex = "~1.10.0"
env_logger = "~0.11.0"
bytesize = "~1.3.0"
anyhow = "~1.0.71"
thiserror = "~1.0.40"
pyo3 = { version = "~0.19.0", features = ["auto-initialize"] }
egui = { version = "0.22.0", optional = true }
pyo3 = { version = "~0.22.0", features = ["auto-initialize"] }
egui = { version = "0.29.0", optional = true }
indexmap = { version = "1.9.3", optional = true }
eframe = { version = "0.22.0", optional = true }
rfd = { version = "0.11.4", optional = true }
eframe = { version = "0.29.0", optional = true }
rfd = { version = "0.15.0", optional = true }
boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
boolector-sys = { version = "~0.7.1", features = ["vendor-lgl"], optional = true }
z3-solver = { package = "z3", version = "~0.11.2", features = ["static-link-z3"], optional = true }
z3-sys = { version = "~0.7.1", features = ["static-link-z3"], optional = true }
z3-solver = { package = "z3", version = "~0.12.0", features = ["static-link-z3"], optional = true }
z3-sys = { version = "~0.8.0", features = ["static-link-z3"], optional = true }
kissat-rs = { git = "https://github.com/firefighterduck/kissat-rs", branch = "main", version = "0.1", optional = true }
varisat-rs = { package = "varisat", version = "0.2.2", optional = true }
cadical-rs = { package = "cadical", version = "0.1.14", optional = true }
Expand All @@ -58,11 +58,11 @@ cadical-rs = { package = "cadical", version = "0.1.14", optional = true }
riscu = { git = 'https://github.com/cksystemsgroup/riscu' }

[dev-dependencies]
rayon = "~1.7"
tempfile = "~3.6.0"
rayon = "~1.10.0"
tempfile = "~3.12.0"
which = "~4.4"
log = "~0.4.19"
env_logger = "~0.10"
env_logger = "~0.11.0"

[dev-dependencies.cargo-husky]
version = "1"
Expand Down

0 comments on commit 97feed4

Please sign in to comment.