Skip to content

Actions: OxiDD/oxidd

Actions

Python

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix ZBDD subset/change
Python #123: Commit 70bcf15 pushed by nhusung
February 19, 2025 08:02 7m 9s fix-zbdd-subset-change
February 19, 2025 08:02 7m 9s
oxidd-cli: add option to output durations as seconds
Python #122: Commit 3d0fbff pushed by nhusung
February 19, 2025 07:34 7m 5s main
February 19, 2025 07:34 7m 5s
oxidd-cli: add option to output durations as seconds
Python #121: Commit e6adb09 pushed by nhusung
February 19, 2025 07:17 7m 30s circuit-repr
February 19, 2025 07:17 7m 30s
Disable testing Python 32 bit wheels on Windows
Python #120: Commit 38291b1 pushed by nhusung
February 19, 2025 07:17 10m 3s main
February 19, 2025 07:17 10m 3s
Disable testing Python 32 bit wheels on Windows
Python #119: Commit 01c521a pushed by nhusung
February 19, 2025 07:05 7m 48s circuit-repr
February 19, 2025 07:05 7m 48s
Fix Python wheel build for arm64
Python #118: Commit 270d8d0 pushed by nhusung
February 18, 2025 21:52 10m 12s circuit-repr
February 18, 2025 21:52 10m 12s
Bump oxidd-parser and oxidd-cli versions
Python #117: Commit 74910ca pushed by nhusung
February 4, 2025 06:31 6m 50s circuit-repr
February 4, 2025 06:31 6m 50s
Bump oxidd-parser and oxidd-cli versions
Python #116: Commit 32d4ddb pushed by nhusung
February 3, 2025 09:37 10m 3s circuit-repr
February 3, 2025 09:37 10m 3s
Bump oxidd-parser and oxidd-cli versions
Python #115: Commit 813ac9b pushed by nhusung
January 23, 2025 07:42 7m 55s circuit-repr
January 23, 2025 07:42 7m 55s
Fix spellcheck
Python #114: Commit 7905546 pushed by nhusung
December 4, 2024 21:47 7m 14s main
December 4, 2024 21:47 7m 14s
Python: disable Ruff unsorted-dunder-all lint
Python #113: Commit a2f61f0 pushed by nhusung
December 4, 2024 21:44 3m 34s main
December 4, 2024 21:44 3m 34s
Update dependencies
Python #112: Commit 2a1eabd pushed by nhusung
December 4, 2024 20:51 12m 20s main
December 4, 2024 20:51 12m 20s
Fix Python workflow
Python #111: Commit a3588fd pushed by nhusung
November 20, 2024 21:48 2m 5s v0.9.0
November 20, 2024 21:48 2m 5s
Fix Python workflow
Python #110: Commit a3588fd pushed by nhusung
November 20, 2024 21:34 6m 40s main
November 20, 2024 21:34 6m 40s
Release OxiDD 0.9.0
Python #109: Commit 39aa6fa pushed by nhusung
November 20, 2024 21:30 2s main
November 20, 2024 21:30 2s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Python #108: Commit 4419da6 pushed by nhusung
November 20, 2024 16:33 10m 57s main
November 20, 2024 16:33 10m 57s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Python #107: Commit 4419da6 pushed by nhusung
November 20, 2024 16:17 7m 28s pyo3
November 20, 2024 16:17 7m 28s
Fix clippy lints
Python #106: Commit f243da6 pushed by nhusung
November 20, 2024 16:16 16m 56s main
November 20, 2024 16:16 16m 56s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Python #105: Commit 6f35ad5 pushed by nhusung
November 20, 2024 15:08 6m 56s pyo3
November 20, 2024 15:08 6m 56s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Python #104: Commit 5686776 pushed by nhusung
November 20, 2024 13:46 8m 1s pyo3
November 20, 2024 13:46 8m 1s
Rename oxidd-ffioxidd-ffi-c
Python #103: Commit 17a11c5 pushed by nhusung
November 19, 2024 20:54 7m 58s pyo3
November 19, 2024 20:54 7m 58s
Switch to PyO3
Python #102: Commit a41ca00 pushed by nhusung
November 19, 2024 19:47 6m 15s pyo3
November 19, 2024 19:47 6m 15s
Python: make the cofactor methods return Optionals as described in th…
Python #95: Commit 18ceef1 pushed by nhusung
October 16, 2024 14:03 23m 20s main
October 16, 2024 14:03 23m 20s
Silence clang-format version-specific fmt issue
Python #94: Commit 7b772bc pushed by nhusung
October 16, 2024 11:34 22m 58s worker-api
October 16, 2024 11:34 22m 58s
Silence clang-format version-specific fmt issue
Python #93: Commit c6d99dd pushed by nhusung
October 16, 2024 08:05 22m 45s worker-api
October 16, 2024 08:05 22m 45s