Merge pull request #138 from plaans/update

deps: update dependencies
plaans · Jun 25, 2024 · fb61f62 · fb61f62
2 parents fb077f0 + 8b2712a
commit fb61f62
Show file tree

Hide file tree

Showing 15 changed files with 550 additions and 563 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -23,8 +23,12 @@ num-rational = { version = "0.4.1" }
 regex = { version = "1" }
 tracing = { version = "0.1", features = ["release_max_level_debug"] }
 tracing-subscriber = "0.3"
-itertools = { version = "0.12.1" }
+itertools = { version = "0.13" }
 rand = { version = "0.8.5", features = ["small_rng"] }
+fixedbitset = { version = "0.5.7", default-features = false }
+prost = { version = "0.12.6" }
+tonic = "0.11.0"
+tonic-build = "0.11.0"
 
 [profile.dev]
 opt-level = 0

diff --git a/examples/gg/Cargo.toml b/examples/gg/Cargo.toml
@@ -2,7 +2,7 @@
 name = "aries_gg"
 version = "0.1.0"
 authors = ["Arthur Bit-Monnot <abitmonnot@laas.fr>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 structopt = "0.3"

diff --git a/examples/knapsack/Cargo.toml b/examples/knapsack/Cargo.toml
@@ -2,7 +2,7 @@
 name = "aries_knapsack"
 version = "0.1.0"
 authors = ["Arthur Bit-Monnot <abitmonnot@laas.fr>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 aries = { path = "../../solver" }

diff --git a/examples/sat/Cargo.toml b/examples/sat/Cargo.toml
@@ -2,15 +2,15 @@
 name = "aries_sat"
 version = "0.1.0"
 authors = ["Arthur Bit-Monnot <abitmonnot@laas.fr>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 structopt = "0.3"
 anyhow = { workspace = true }
 aries = { path = "../../solver" }
 varisat-dimacs = "0.2.2"
 varisat-formula = "0.2.2"
-zip = { default-features = false, features = ["deflate"], version = "0.6" }
+zip = { default-features = false, features = ["deflate"], version = "2.1.3" }
 
 
 [[bin]]

diff --git a/examples/smt/Cargo.toml b/examples/smt/Cargo.toml
@@ -2,7 +2,7 @@
 name = "aries_smt"
 version = "0.1.0"
 authors = ["Arthur Bit-Monnot <abitmonnot@laas.fr>"]
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 aries = { path = "../../solver" }

diff --git a/planning/grpc/api/Cargo.toml b/planning/grpc/api/Cargo.toml
@@ -1,19 +1,19 @@
 [package]
 authors = ["Selvakumar <selvakumar.h-s@laas.fr>"]
-edition = "2018"
+edition = "2021"
 name = "unified_planning"
 version = "0.1.0"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 [dependencies]
 async-trait = "0.1"
-prost = {default-features = false, version = "0.11"}
+prost = { workspace = true }
 regex = { workspace = true }
-tonic = "0.8"
+tonic = { workspace = true }
 itertools = { workspace = true }
 
 [build-dependencies]
-tonic-build = {version = "0.8", optional = true}
+tonic-build = { workspace = true, optional = true }
 
 [features]
 generate_bindings = ["tonic-build"]