Skip to content

Actions: OxiDD/oxidd

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
100 workflow runs
100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add pick_cube_symbolic(), pick_cube_symbolic_set() Rust #75: Commit ed71b36 pushed by nhusung
August 29, 2024 17:39 1m 12s pick-cube-symbolic
pick-cube-symbolic
August 29, 2024 17:39 1m 12s
Release oxidd-parser 0.3.1 Rust #74: Commit ae65640 pushed by nhusung
July 15, 2024 08:54 1m 50s main
main
July 15, 2024 08:54 1m 50s
oxidd-parser: fix debug assertion Rust #73: Commit 48a1fcf pushed by nhusung
July 15, 2024 08:52 1m 54s main
main
July 15, 2024 08:52 1m 54s
Update dependencies Rust #72: Commit d7423c8 pushed by nhusung
July 14, 2024 16:59 1m 53s main
main
July 14, 2024 16:59 1m 53s
Rework --cnf-build-order and parallelism options Rust #71: Commit e3fd124 pushed by nhusung
July 14, 2024 16:51 1m 57s main
main
July 14, 2024 16:51 1m 57s
Rework --cnf-build-order and parallelism options Rust #70: Commit e3fd124 pushed by nhusung
July 10, 2024 16:06 2m 3s tree-parallel
tree-parallel
July 10, 2024 16:06 2m 3s
Parse variable order trees, if present Rust #69: Commit 3965fd0 pushed by nhusung
July 10, 2024 13:23 2m 26s tree-parallel
tree-parallel
July 10, 2024 13:23 2m 26s
Improve tree construction Rust #68: Commit 2c2fc94 pushed by nhusung
July 9, 2024 10:55 2m 2s tree-parallel
tree-parallel
July 9, 2024 10:55 2m 2s
CI: Disable treating Sphinx warnings as errors Rust #67: Commit b3b1fe1 pushed by nhusung
July 7, 2024 10:07 1m 50s main
main
July 7, 2024 10:07 1m 50s
Update dependencies Rust #66: Commit bc64ca7 pushed by nhusung
July 5, 2024 08:18 1m 55s main
main
July 5, 2024 08:18 1m 55s
Introduce recursor to avoid code duplication Rust #65: Commit b2ca85d pushed by nhusung
July 5, 2024 07:08 2m 3s recursor
recursor
July 5, 2024 07:08 2m 3s
Allow arbitrary arity trees when specifying the clause order Rust #64: Commit 75d8e04 pushed by nhusung
July 2, 2024 19:56 1m 53s tree-parallel
tree-parallel
July 2, 2024 19:56 1m 53s
Add --cnf-build-order=tree-parallel Rust #63: Commit 8a74879 pushed by nhusung
June 26, 2024 11:14 1m 48s tree-parallel
tree-parallel
June 26, 2024 11:14 1m 48s
Replace accidentally platform-specific file extension check Rust #62: Commit 87ccf7f pushed by nhusung
June 25, 2024 14:26 1m 49s main
main
June 25, 2024 14:26 1m 49s
Fix doc Rust #61: Commit c5a4f0b pushed by nhusung
June 24, 2024 15:02 1m 53s main
main
June 24, 2024 15:02 1m 53s
Expose Substitution and Subst in oxidd Rust #60: Commit 9c20f3d pushed by nhusung
June 24, 2024 15:00 1m 59s main
main
June 24, 2024 15:00 1m 59s
Update oxidd-cli to 0.2.2 Rust #59: Commit e9aa9c0 pushed by nhusung
June 9, 2024 16:54 1m 49s main
main
June 9, 2024 16:54 1m 49s
CLI: Do not report ⊤ ∧ … in work-stealing build order Rust #58: Commit c1fd71a pushed by nhusung
June 9, 2024 16:47 1m 49s main
main
June 9, 2024 16:47 1m 49s
Update oxidd-cli to 0.2.1 Rust #57: Commit 8ee4c5d pushed by nhusung
June 7, 2024 09:49 1m 51s main
main
June 7, 2024 09:49 1m 51s
Add panic = "abort" to oxidd-cli/Cargo.toml Rust #56: Commit b1431e8 pushed by nhusung
June 7, 2024 08:58 1m 51s main
main
June 7, 2024 08:58 1m 51s
Release oxidd-parser 0.2.1 Rust #55: Commit 00cb773 pushed by nhusung
June 6, 2024 05:47 2m 3s main
main
June 6, 2024 05:47 2m 3s
Expose AIG::outputs() Rust #54: Commit f5cc495 pushed by nhusung
June 6, 2024 05:45 1m 48s main
main
June 6, 2024 05:45 1m 48s
Adjust Python distribution Rust #53: Commit a31cd9f pushed by nhusung
June 5, 2024 15:37 1m 57s v0.7.0
v0.7.0
June 5, 2024 15:37 1m 57s
Release 0.7 Rust #52: Commit b25732b pushed by nhusung
June 5, 2024 14:00 1m 54s main
main
June 5, 2024 14:00 1m 54s
Implement AIGER parser Rust #51: Commit 60fdf1f pushed by nhusung
June 4, 2024 18:40 1m 51s main
main
June 4, 2024 18:40 1m 51s