diff --git a/CMakeLists.txt b/CMakeLists.txt index cfcbbb1..951c735 100644 --- 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 index 26c6ef4..07b89e9 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -65,7 +65,7 @@ checksum = "4c95c10ba0b00a02636238b814946408b1322d5ac4760326e6fb8ec956d85775" [[package]] name = "arcslab" -version = "0.1.0" +version = "0.1.1" dependencies = [ "crossbeam-utils", "libc", @@ -350,7 +350,7 @@ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea" [[package]] name = "hugealloc" -version = "0.1.0" +version = "0.1.1" dependencies = [ "allocator-api2", "libc", @@ -405,7 +405,7 @@ checksum = "561d97a539a36e26a9a5fad1ea11a3039a67714694aaa379433e580854bc3dc5" [[package]] name = "linear-hashtbl" -version = "0.1.0" +version = "0.1.1" dependencies = [ "allocator-api2", ] @@ -514,7 +514,7 @@ checksum = "1261fe7e33c73b354eab43b1273a57c8f967d0391e80353e51f764ac02cf6775" [[package]] name = "oxidd" -version = "0.8.1" +version = "0.9.0" dependencies = [ "cfg-if", "document-features", @@ -534,7 +534,7 @@ dependencies = [ [[package]] name = "oxidd-cache" -version = "0.8.1" +version = "0.9.0" dependencies = [ "allocator-api2", "document-features", @@ -548,7 +548,7 @@ dependencies = [ [[package]] name = "oxidd-cli" -version = "0.2.4" +version = "0.2.5" dependencies = [ "bitvec", "clap", @@ -568,14 +568,14 @@ dependencies = [ [[package]] name = "oxidd-core" -version = "0.8.0" +version = "0.9.0" dependencies = [ "nanorand", ] [[package]] name = "oxidd-derive" -version = "0.8.0" +version = "0.9.0" dependencies = [ "oxidd-core", "oxidd-test-utils", @@ -588,7 +588,7 @@ dependencies = [ [[package]] name = "oxidd-dump" -version = "0.3.1" +version = "0.4.0" dependencies = [ "bitvec", "document-features", @@ -600,7 +600,7 @@ dependencies = [ [[package]] name = "oxidd-ffi-c" -version = "0.8.1" +version = "0.9.0" dependencies = [ "oxidd", "oxidd-core", @@ -610,7 +610,7 @@ dependencies = [ [[package]] name = "oxidd-ffi-python" -version = "0.8.1" +version = "0.9.0" dependencies = [ "anyhow", "num-bigint", @@ -626,7 +626,7 @@ dependencies = [ [[package]] name = "oxidd-manager-index" -version = "0.8.1" +version = "0.9.0" dependencies = [ "bitvec", "crossbeam-utils", @@ -639,7 +639,7 @@ dependencies = [ [[package]] name = "oxidd-manager-pointer" -version = "0.3.1" +version = "0.4.0" dependencies = [ "arcslab", "bitvec", @@ -666,7 +666,7 @@ dependencies = [ [[package]] name = "oxidd-reorder" -version = "0.3.0" +version = "0.4.0" dependencies = [ "flume", "is_sorted", @@ -678,7 +678,7 @@ dependencies = [ [[package]] name = "oxidd-rules-bdd" -version = "0.8.0" +version = "0.9.0" dependencies = [ "bitvec", "document-features", @@ -689,7 +689,7 @@ dependencies = [ [[package]] name = "oxidd-rules-mtbdd" -version = "0.3.0" +version = "0.4.0" dependencies = [ "document-features", "oxidd-core", @@ -699,7 +699,7 @@ dependencies = [ [[package]] name = "oxidd-rules-tdd" -version = "0.3.0" +version = "0.4.0" dependencies = [ "document-features", "oxidd-core", @@ -709,7 +709,7 @@ dependencies = [ [[package]] name = "oxidd-rules-zbdd" -version = "0.8.0" +version = "0.9.0" dependencies = [ "bitvec", "document-features", @@ -720,7 +720,7 @@ dependencies = [ [[package]] name = "oxidd-test-utils" -version = "0.3.0" +version = "0.4.0" dependencies = [ "oxidd-core", "rayon", diff --git a/Cargo.toml b/Cargo.toml index d42228f..ff2c9cc 100644 --- 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 index 702544f..6c70d3e 100644 --- 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 index a0eaed3..e98cfe7 100644 --- 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 index 42633c7..f8dcb15 100644 --- 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 index e0f39ce..f7c5ea0 100644 --- 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 index 470aed3..8f9d94f 100644 --- 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 index 2f8d37f..da22998 100644 --- 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 index 0561d9b..989b61d 100644 --- 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 index 9bb32c3..bdf6ab2 100644 --- 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 index a276e25..e108989 100644 --- 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 index 6582025..38d030f 100644 --- 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 index 9034074..f2e8d6f 100644 --- 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 index 9946b7e..5e259b6 100644 --- 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 index 6604c31..8259213 100644 --- 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 index 13496d4..0d58b96 100644 --- 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 index 4a0608e..027e61e 100644 --- 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 index c66d6a6..4632250 100644 --- 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 index 495f2c9..1376aee 100644 --- 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 index 1be25e2..1f9f2c3 100644 --- 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 index c3f2694..79e5874 100644 --- 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 index fe37760..8b8e930 100644 --- 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"]