Skip to content

Actions: OxiDD/oxidd

Actions

C++

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cpp.yml
105 workflow runs
105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies C++ #116: Commit 2a1eabd pushed by nhusung
December 4, 2024 20:51 1m 49s main
main
December 4, 2024 20:51 1m 49s
Fix Python workflow C++ #115: Commit a3588fd pushed by nhusung
November 20, 2024 21:48 3m 25s v0.9.0
v0.9.0
November 20, 2024 21:48 3m 25s
Release OxiDD 0.9.0 C++ #114: Commit 39aa6fa pushed by nhusung
November 20, 2024 21:30 2m 21s main
main
November 20, 2024 21:30 2m 21s
Python: add BooleanFunction.sat_count using arbitrary precision int… C++ #113: Commit 4419da6 pushed by nhusung
November 20, 2024 16:33 3m 36s main
main
November 20, 2024 16:33 3m 36s
Python: add BooleanFunction.sat_count using arbitrary precision int… C++ #112: Commit 4419da6 pushed by nhusung
November 20, 2024 16:17 4m 39s pyo3
pyo3
November 20, 2024 16:17 4m 39s
Fix clippy lints C++ #111: Commit f243da6 pushed by nhusung
November 20, 2024 16:16 4m 3s main
main
November 20, 2024 16:16 4m 3s
Python: add BooleanFunction.sat_count using arbitrary precision int… C++ #110: Commit 6f35ad5 pushed by nhusung
November 20, 2024 15:08 3m 52s pyo3
pyo3
November 20, 2024 15:08 3m 52s
Python: add BooleanFunction.sat_count using arbitrary precision int… C++ #109: Commit 5686776 pushed by nhusung
November 20, 2024 13:46 2m 6s pyo3
pyo3
November 20, 2024 13:46 2m 6s
Rename oxidd-ffi → oxidd-ffi-c C++ #108: Commit 17a11c5 pushed by nhusung
November 19, 2024 20:54 3m 32s pyo3
pyo3
November 19, 2024 20:54 3m 32s
Switch to PyO3 C++ #107: Commit a41ca00 pushed by nhusung
November 19, 2024 19:47 4m 43s pyo3
pyo3
November 19, 2024 19:47 4m 43s
Switch to PyO3 C++ #106: Commit 2602718 pushed by nhusung
November 19, 2024 19:37 2m 14s pyo3
pyo3
November 19, 2024 19:37 2m 14s
Python: make the cofactor methods return Optionals as described in th… C++ #100: Commit 18ceef1 pushed by nhusung
October 16, 2024 14:03 3m 5s main
main
October 16, 2024 14:03 3m 5s
Silence clang-format version-specific fmt issue C++ #99: Commit 7b772bc pushed by nhusung
October 16, 2024 11:34 1m 58s worker-api
worker-api
October 16, 2024 11:34 1m 58s
Silence clang-format version-specific fmt issue C++ #98: Commit c6d99dd pushed by nhusung
October 16, 2024 08:05 3m 41s worker-api
worker-api
October 16, 2024 08:05 3m 41s
Replace WorkerManager by HasWorker and WorkerPool C++ #97: Commit 03cf05a pushed by nhusung
October 16, 2024 07:26 3m 37s worker-api
worker-api
October 16, 2024 07:26 3m 37s
Replace WorkerManager by HasWorker and WorkerPool C++ #96: Commit aa6bc92 pushed by nhusung
October 15, 2024 22:26 3m 45s worker-api
worker-api
October 15, 2024 22:26 3m 45s
Bump versions C++ #95: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:07 2m 47s v0.8.1
v0.8.1
October 15, 2024 12:07 2m 47s
Bump versions C++ #94: Commit 13eaa3a pushed by nhusung
October 15, 2024 12:06 2m 53s main
main
October 15, 2024 12:06 2m 53s
Hotfix: remove unfinished BDDFunction.export_dddmp() in Python C++ #93: Commit 77661bb pushed by nhusung
October 14, 2024 14:19 3m 14s v0.8.0
v0.8.0
October 14, 2024 14:19 3m 14s
Release OxiDD 0.8 C++ #92: Commit 1755c87 pushed by nhusung
October 14, 2024 13:52 3m 29s v0.8.0
v0.8.0
October 14, 2024 13:52 3m 29s
Release OxiDD 0.8 C++ #91: Commit 1755c87 pushed by nhusung
October 14, 2024 13:51 3m 14s main
main
October 14, 2024 13:51 3m 14s
Performance optimizations C++ #90: Commit 8f0874b pushed by nhusung
October 13, 2024 22:48 3m 42s main
main
October 13, 2024 22:48 3m 42s
[CI/C++ linter] show step-summary C++ #89: Commit 7084b14 pushed by nhusung
October 13, 2024 18:02 2m 45s main
main
October 13, 2024 18:02 2m 45s
Rename pick_cube_symbolic into pick_cube_dd C++ #88: Commit 6781195 pushed by nhusung
October 13, 2024 17:37 1m 41s main
main
October 13, 2024 17:37 1m 41s
Fix new lints C++ #87: Commit 3dabf72 pushed by nhusung
October 12, 2024 16:50 1m 40s main
main
October 12, 2024 16:50 1m 40s