Release OxiDD 0.9.0

OxiDD · Nov 20, 2024 · 39aa6fa · 39aa6fa
1 parent 6b8790f
commit 39aa6fa
Show file tree

Hide file tree

Showing 23 changed files with 53 additions and 53 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required(VERSION 3.15)
 
 project(OxiDD
-    VERSION 0.8.1
+    VERSION 0.9.0
     DESCRIPTION "Concurrent Decision Diagram Library"
     HOMEPAGE_URL "https://oxidd.net"
     LANGUAGES CXX)

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -12,20 +12,20 @@ homepage = "https://oxidd.net"
 arcslab = { version = "0.1", path = "crates/arcslab", default-features = false }
 hugealloc = { version = "0.1", path = "crates/hugealloc", default-features = false }
 linear-hashtbl = { version = "0.1", path = "crates/linear-hashtbl", default-features = false }
-oxidd = { version = "0.8", path = "crates/oxidd", default-features = false }
-oxidd-cache = { version = "0.8", path = "crates/oxidd-cache", default-features = false }
-oxidd-core = { version = "0.8", path = "crates/oxidd-core", default-features = false }
-oxidd-derive = { version = "0.8", path = "crates/oxidd-derive", default-features = false }
-oxidd-dump = { version = "0.3", path = "crates/oxidd-dump", default-features = false }
-oxidd-manager-index = { version = "0.8", path = "crates/oxidd-manager-index", default-features = false }
-oxidd-manager-pointer = { version = "0.3", path = "crates/oxidd-manager-pointer", default-features = false }
+oxidd = { version = "0.9", path = "crates/oxidd", default-features = false }
+oxidd-cache = { version = "0.9", path = "crates/oxidd-cache", default-features = false }
+oxidd-core = { version = "0.9", path = "crates/oxidd-core", default-features = false }
+oxidd-derive = { version = "0.9", path = "crates/oxidd-derive", default-features = false }
+oxidd-dump = { version = "0.4", path = "crates/oxidd-dump", default-features = false }
+oxidd-manager-index = { version = "0.9", path = "crates/oxidd-manager-index", default-features = false }
+oxidd-manager-pointer = { version = "0.4", path = "crates/oxidd-manager-pointer", default-features = false }
 oxidd-parser = { version = "0.3", path = "crates/oxidd-parser", default-features = false }
-oxidd-reorder = { version = "0.3", path = "crates/oxidd-reorder", default-features = false }
-oxidd-rules-bdd = { version = "0.8", path = "crates/oxidd-rules-bdd", default-features = false }
-oxidd-rules-mtbdd = { version = "0.3", path = "crates/oxidd-rules-mtbdd", default-features = false }
-oxidd-rules-tdd = { version = "0.3", path = "crates/oxidd-rules-tdd", default-features = false }
-oxidd-rules-zbdd = { version = "0.8", path = "crates/oxidd-rules-zbdd", default-features = false }
-oxidd-test-utils = { version = "0.3", path = "crates/oxidd-test-utils", default-features = false }
+oxidd-reorder = { version = "0.4", path = "crates/oxidd-reorder", default-features = false }
+oxidd-rules-bdd = { version = "0.9", path = "crates/oxidd-rules-bdd", default-features = false }
+oxidd-rules-mtbdd = { version = "0.4", path = "crates/oxidd-rules-mtbdd", default-features = false }
+oxidd-rules-tdd = { version = "0.4", path = "crates/oxidd-rules-tdd", default-features = false }
+oxidd-rules-zbdd = { version = "0.9", path = "crates/oxidd-rules-zbdd", default-features = false }
+oxidd-test-utils = { version = "0.4", path = "crates/oxidd-test-utils", default-features = false }
 
 
 [profile.release]

diff --git a/crates/arcslab/Cargo.toml b/crates/arcslab/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "arcslab"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 description = "Slab, but with reference counted items"
 

diff --git a/crates/hugealloc/Cargo.toml b/crates/hugealloc/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hugealloc"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 description = "Hugepage-aware allocator"
 

diff --git a/crates/linear-hashtbl/Cargo.toml b/crates/linear-hashtbl/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "linear-hashtbl"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2021"
 description = "Linear probing hash table"
 categories = ["data-structures"]

diff --git a/crates/oxidd-cache/Cargo.toml b/crates/oxidd-cache/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-cache"
-version = "0.8.1"
+version = "0.9.0"
 edition = "2021"
 description = "Apply cache for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-cli/Cargo.toml b/crates/oxidd-cli/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-cli"
-version = "0.2.4"
+version = "0.2.5"
 edition = "2021"
 description = "Command line interface for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-core/Cargo.toml b/crates/oxidd-core/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-core"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 description = "Core traits and types of the OxiDD decision diagram framework"
 readme = "../../README.md"

diff --git a/crates/oxidd-derive/Cargo.toml b/crates/oxidd-derive/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-derive"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 description = "Derive macros for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-dump/Cargo.toml b/crates/oxidd-dump/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-dump"
-version = "0.3.1"
+version = "0.4.0"
 edition = "2021"
 description = "Dump OxiDD decision diagrams to file"
 readme = "../../README.md"

diff --git a/crates/oxidd-ffi-c/Cargo.toml b/crates/oxidd-ffi-c/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-ffi-c"
-version = "0.8.1"
+version = "0.9.0"
 edition = "2021"
 description = "Foreign function interface for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-ffi-python/Cargo.toml b/crates/oxidd-ffi-python/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-ffi-python"
-version = "0.8.1"
+version = "0.9.0"
 edition = "2021"
 description = "Python interface for OxiDD"
 readme = "../../bindings/python/README.md"

diff --git a/crates/oxidd-manager-index/Cargo.toml b/crates/oxidd-manager-index/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-manager-index"
-version = "0.8.1"
+version = "0.9.0"
 edition = "2021"
 description = "Index-based manager implementation for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-manager-pointer/Cargo.toml b/crates/oxidd-manager-pointer/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-manager-pointer"
-version = "0.3.1"
+version = "0.4.0"
 edition = "2021"
 description = "Pointer-based manager implementation for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-reorder/Cargo.toml b/crates/oxidd-reorder/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-reorder"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 description = "Reordering algorithms for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-rules-bdd/Cargo.toml b/crates/oxidd-rules-bdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-bdd"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 description = "Binary decision diagrams (BDDs) for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-rules-mtbdd/Cargo.toml b/crates/oxidd-rules-mtbdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-mtbdd"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 description = "Multi-terminal decision diagrams (MTBDDs) for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-rules-tdd/Cargo.toml b/crates/oxidd-rules-tdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-tdd"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 description = "Ternary decision diagrams (TDDs) for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-rules-zbdd/Cargo.toml b/crates/oxidd-rules-zbdd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-rules-zbdd"
-version = "0.8.0"
+version = "0.9.0"
 edition = "2021"
 description = "Zero-suppressed decision diagrams (ZBDDs) for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd-test-utils/Cargo.toml b/crates/oxidd-test-utils/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd-test-utils"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 description = "Test utilities for OxiDD"
 readme = "../../README.md"

diff --git a/crates/oxidd/Cargo.toml b/crates/oxidd/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "oxidd"
-version = "0.8.1"
+version = "0.9.0"
 edition = "2021"
 description = "A safe, concurrent, modular, and performant decision diagram framework."
 readme = "../../README.md"

diff --git a/pyproject.toml b/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "oxidd"
-version = "0.8.1"
+version = "0.9.0"
 description = "Decision Diagrams"
 requires-python = ">=3.9"
 keywords = ["Decision Diagrams", "BDD", "ZBDD", "ZDD"]