From 9e61f051ff983aa3e4ec0f6d9c9396906d7aeafe Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 11 Mar 2024 02:26:24 +0000
Subject: [PATCH] chore(deps): update dependencies (minor changes)

---
 Cargo.toml       | 44 ++++++++++++++++++++++----------------------
 utils/Cargo.toml | 10 +++++-----
 2 files changed, 27 insertions(+), 27 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index c2f37d69..a224ecfd 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -35,33 +35,33 @@ harness = false
 required-features = ["z3"]
 
 [dependencies]
-byteorder = "~1.4"
-clap = { version = "~3.2", features = ["cargo"] }
-strum = { version = "~0.24", features = ["derive"] }
+byteorder = "~1.5.0"
+clap = { version = "~3.2.25", features = ["cargo"] }
+strum = { version = "~0.26.2", features = ["derive"] }
 riscu = "~0.5"
-petgraph = "~0.6"
-rand = "~0.8"
-modinverse = "~0.1"
-log = "~0.4"
-env_logger = "~0.9"
-bytesize = "~1.1"
-itertools = "~0.10"
-anyhow = "~1.0"
-thiserror = "~1.0"
-divisors = "~0.2"
-const_format = "~0.2"
+petgraph = "~0.6.4"
+rand = "~0.8.5"
+modinverse = "~0.1.1"
+log = "~0.4.21"
+env_logger = "~0.11.3"
+bytesize = "~1.3.0"
+itertools = "~0.12.1"
+anyhow = "~1.0.80"
+thiserror = "~1.0.57"
+divisors = "~0.2.1"
+const_format = "~0.2.32"
 lazy_static = "~1.4"
-boolector-solver = { package = "boolector", version = "~0.4", features = ["vendor-lgl"], optional = true }
-boolector-sys = { version = "~0", features = ["vendor-lgl"], optional = true }
-z3-solver = { package = "z3", version = "~0.11", features = ["static-link-z3"], optional = true }
-z3-sys = { version = "~0", features = ["static-link-z3"], optional = true }
-libc = "~0"
+boolector-solver = { package = "boolector", version = "~0.4.3", features = ["vendor-lgl"], optional = true }
+boolector-sys = { version = "~0.7.2", features = ["vendor-lgl"], optional = true }
+z3-solver = { package = "z3", version = "~0.12.1", features = ["static-link-z3"], optional = true }
+z3-sys = { version = "~0.8.1", features = ["static-link-z3"], optional = true }
+libc = "~0.2.153"
 
 [dev-dependencies]
 utils = { path = "utils" }
-rayon = "~1.5"
-tempfile = "~3.3"
-criterion = { version = "~0.3", features = ["html_reports", "cargo_bench_support", "csv_output"] }
+rayon = "~1.9.0"
+tempfile = "~3.10.1"
+criterion = { version = "~0.5.1", features = ["html_reports", "cargo_bench_support", "csv_output"] }
 
 [dev-dependencies.cargo-husky]
 version = "1"
diff --git a/utils/Cargo.toml b/utils/Cargo.toml
index dfe77888..a411baee 100644
--- a/utils/Cargo.toml
+++ b/utils/Cargo.toml
@@ -5,8 +5,8 @@ authors = ["Christian Mösl <christian.moesl@live.at>"]
 edition = "2018"
 
 [dependencies]
-rayon = "~1.5"
-tempfile = "~3.3"
-which = "~4.2"
-log = "~0.4"
-env_logger = "~0.9"
+rayon = "~1.9.0"
+tempfile = "~3.10.1"
+which = "~4.4.2"
+log = "~0.4.21"
+env_logger = "~0.11.3"