Remove unused dependencies and update version.

sybila · Apr 28, 2021 · 11a8217 · 11a8217
1 parent cfb0324
commit 11a8217
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 729 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-aeon-server"
-version = "0.4.0-beta.1"
+version = "0.4.0"
 authors = ["Samuel Pastva <[email protected]>"]
 edition = "2018"
 default-run = "biodivine-aeon-server"
@@ -19,8 +19,6 @@ lto = true
 biodivine-lib-bdd = "0.2.1"
 biodivine-lib-param-bn = "0.1.0"
 rocket = "0.4.6"
-rayon = "1.5.0"
-crossbeam = "0.8.0"
 lazy_static = "1.4.0"
 json = "0.12.4"
 regex = "1.4.2"

diff --git a/src/scc/algo_effectively_constant.rs b/src/scc/algo_effectively_constant.rs
diff --git a/src/scc/algo_par_utils.rs b/src/scc/algo_par_utils.rs