chore(deps): update dependencies (minor changes)

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.25.0", 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.20"
+env_logger = "~0.10.2"
+bytesize = "~1.3.0"
+itertools = "~0.12.0"
+anyhow = "~1.0.79"
+thiserror = "~1.0.56"
+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.1", 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.152"
 
 [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.8.1"
+tempfile = "~3.9.0"
+criterion = { version = "~0.5.1", features = ["html_reports", "cargo_bench_support", "csv_output"] }
 
 [dev-dependencies.cargo-husky]
 version = "1"

utils/Cargo.toml

@@ -5,8 +5,8 @@ authors = ["Christian Mösl <[email protected]>"]
 edition = "2018"
 
 [dependencies]
-rayon = "~1.5"
-tempfile = "~3.3"
-which = "~4.2"
-log = "~0.4"
-env_logger = "~0.9"
+rayon = "~1.8.1"
+tempfile = "~3.9.0"
+which = "~4.4.2"
+log = "~0.4.20"
+env_logger = "~0.10.2"