From 5f71033ce3962c1201dd0bd726dbea35c5a854c7 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 6 Aug 2024 20:40:41 +0000
Subject: [PATCH] chore(deps): update dependencies (minor changes)

---
 Cargo.toml | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 8b309cba..4a377f25 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -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.28.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.28.0", optional = true }
+rfd = { version = "0.14.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 }
@@ -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"