Skip to content

Actions: OxiDD/oxidd

Actions

Spell Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix ZBDD subset/change
Spell Check #158: Commit 70bcf15 pushed by nhusung
February 19, 2025 08:02 13s fix-zbdd-subset-change
February 19, 2025 08:02 13s
oxidd-cli: add option to output durations as seconds
Spell Check #157: Commit 3d0fbff pushed by nhusung
February 19, 2025 07:34 12s main
February 19, 2025 07:34 12s
oxidd-cli: add option to output durations as seconds
Spell Check #156: Commit e6adb09 pushed by nhusung
February 19, 2025 07:17 12s circuit-repr
February 19, 2025 07:17 12s
Disable testing Python 32 bit wheels on Windows
Spell Check #155: Commit 38291b1 pushed by nhusung
February 19, 2025 07:17 17s main
February 19, 2025 07:17 17s
Disable testing Python 32 bit wheels on Windows
Spell Check #154: Commit 01c521a pushed by nhusung
February 19, 2025 07:05 12s circuit-repr
February 19, 2025 07:05 12s
Fix Python wheel build for arm64
Spell Check #153: Commit 270d8d0 pushed by nhusung
February 18, 2025 21:52 26s circuit-repr
February 18, 2025 21:52 26s
oxidd-cli: add option to output durations as seconds
Spell Check #152: Commit 10056c8 pushed by nhusung
February 13, 2025 17:55 13s circuit-repr
February 13, 2025 17:55 13s
Bump oxidd-parser and oxidd-cli versions
Spell Check #151: Commit 74910ca pushed by nhusung
February 4, 2025 06:31 13s circuit-repr
February 4, 2025 06:31 13s
Bump oxidd-parser and oxidd-cli versions
Spell Check #150: Commit 32d4ddb pushed by nhusung
February 3, 2025 09:37 15s circuit-repr
February 3, 2025 09:37 15s
Bump oxidd-parser and oxidd-cli versions
Spell Check #149: Commit 813ac9b pushed by nhusung
January 23, 2025 07:42 18s circuit-repr
January 23, 2025 07:42 18s
Fix spellcheck
Spell Check #148: Commit 7905546 pushed by nhusung
December 4, 2024 21:47 18s main
December 4, 2024 21:47 18s
Python: disable Ruff unsorted-dunder-all lint
Spell Check #147: Commit a2f61f0 pushed by nhusung
December 4, 2024 21:44 12s main
December 4, 2024 21:44 12s
Update dependencies
Spell Check #146: Commit 2a1eabd pushed by nhusung
December 4, 2024 20:51 16s main
December 4, 2024 20:51 16s
Fix Python workflow
Spell Check #145: Commit a3588fd pushed by nhusung
November 20, 2024 21:48 13s v0.9.0
November 20, 2024 21:48 13s
Fix Python workflow
Spell Check #144: Commit a3588fd pushed by nhusung
November 20, 2024 21:34 12s main
November 20, 2024 21:34 12s
Release OxiDD 0.9.0
Spell Check #143: Commit 39aa6fa pushed by nhusung
November 20, 2024 21:30 18s main
November 20, 2024 21:30 18s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Spell Check #142: Commit 4419da6 pushed by nhusung
November 20, 2024 16:33 16s main
November 20, 2024 16:33 16s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Spell Check #141: Commit 4419da6 pushed by nhusung
November 20, 2024 16:17 13s pyo3
November 20, 2024 16:17 13s
Fix clippy lints
Spell Check #140: Commit f243da6 pushed by nhusung
November 20, 2024 16:16 20s main
November 20, 2024 16:16 20s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Spell Check #139: Commit 6f35ad5 pushed by nhusung
November 20, 2024 15:08 18s pyo3
November 20, 2024 15:08 18s
Python: add BooleanFunction.sat_count using arbitrary precision int…
Spell Check #138: Commit 5686776 pushed by nhusung
November 20, 2024 13:46 14s pyo3
November 20, 2024 13:46 14s
Rename oxidd-ffioxidd-ffi-c
Spell Check #137: Commit 17a11c5 pushed by nhusung
November 19, 2024 20:54 19s pyo3
November 19, 2024 20:54 19s
Switch to PyO3
Spell Check #136: Commit a41ca00 pushed by nhusung
November 19, 2024 19:47 13s pyo3
November 19, 2024 19:47 13s
Switch to PyO3
Spell Check #135: Commit 2602718 pushed by nhusung
November 19, 2024 19:37 17s pyo3
November 19, 2024 19:37 17s
Switch to PyO3
Spell Check #134: Commit 6aa9281 pushed by nhusung
November 19, 2024 19:25 14s pyo3
November 19, 2024 19:25 14s