Skip to content

Commit

Permalink
Release OxiDD 0.8
Browse files Browse the repository at this point in the history
  • Loading branch information
@nhusung
nhusung committed Oct 14, 2024
1 parent eca1dc8 commit 1755c87
Show file tree
Hide file tree
Showing 19 changed files with 45 additions and 45 deletions.
2 changes: 1 addition & 1 deletion CMakeLists.txt
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
cmake_minimum_required(VERSION 3.15)

project(OxiDD
VERSION 0.7.0
VERSION 0.8.0
DESCRIPTION "Concurrent Decision Diagram Library"
HOMEPAGE_URL "https://oxidd.net"
LANGUAGES CXX)
Expand Down
30 changes: 15 additions & 15 deletions Cargo.lock
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

26 changes: 13 additions & 13 deletions Cargo.toml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.7", path = "crates/oxidd", default-features = false }
oxidd-cache = { version = "0.7", path = "crates/oxidd-cache", default-features = false }
oxidd-core = { version = "0.7", path = "crates/oxidd-core", default-features = false }
oxidd-derive = { version = "0.7", path = "crates/oxidd-derive", default-features = false }
oxidd-dump = { version = "0.2", path = "crates/oxidd-dump", default-features = false }
oxidd-manager-index = { version = "0.7", path = "crates/oxidd-manager-index", default-features = false }
oxidd-manager-pointer = { version = "0.2", path = "crates/oxidd-manager-pointer", 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-parser = { version = "0.3", path = "crates/oxidd-parser", default-features = false }
oxidd-reorder = { version = "0.2", path = "crates/oxidd-reorder", default-features = false }
oxidd-rules-bdd = { version = "0.7", path = "crates/oxidd-rules-bdd", default-features = false }
oxidd-rules-mtbdd = { version = "0.2", path = "crates/oxidd-rules-mtbdd", default-features = false }
oxidd-rules-tdd = { version = "0.2", path = "crates/oxidd-rules-tdd", default-features = false }
oxidd-rules-zbdd = { version = "0.7", path = "crates/oxidd-rules-zbdd", default-features = false }
oxidd-test-utils = { version = "0.2", path = "crates/oxidd-test-utils", 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 }


[profile.release]
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-cache/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-cache"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Apply cache for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-cli/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-cli"
version = "0.2.2"
version = "0.2.3"
edition = "2021"
description = "Command line interface for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-core/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-core"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Core traits and types of the OxiDD decision diagram framework"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-derive/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-derive"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Derive macros for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-dump/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-dump"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Dump OxiDD decision diagrams to file"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-ffi/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-ffi"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Foreign function interface for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-manager-index/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-manager-index"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Index-based manager implementation for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-manager-pointer/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-manager-pointer"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Pointer-based manager implementation for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-reorder/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-reorder"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Reordering algorithms for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-rules-bdd/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-rules-bdd"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Binary decision diagrams (BDDs) for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-rules-mtbdd/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-rules-mtbdd"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Multi-terminal decision diagrams (MTBDDs) for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-rules-tdd/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-rules-tdd"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Ternary decision diagrams (TDDs) for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-rules-zbdd/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-rules-zbdd"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "Zero-suppressed decision diagrams (ZBDDs) for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd-test-utils/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd-test-utils"
version = "0.2.0"
version = "0.3.0"
edition = "2021"
description = "Test utilities for OxiDD"
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion crates/oxidd/Cargo.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "oxidd"
version = "0.7.0"
version = "0.8.0"
edition = "2021"
description = "A safe, concurrent, modular, and performant decision diagram framework."
readme = "../../README.md"
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[project]
name = "oxidd"
version = "0.7.0"
version = "0.8.0"
description = "Decision Diagrams"
requires-python = ">=3.9"
keywords = ["Decision Diagrams", "BDD", "ZBDD", "ZDD"]
Expand Down

0 comments on commit 1755c87

Please sign in to comment.