Skip to content

Actions: berkeley-abc/abc

Actions

Build Posix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-posix.yml
388 workflow runs
388 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various changes and bug fixes. Build Posix #289: Commit c64f927 pushed by alanminko
May 19, 2024 21:47 2m 17s master
master
May 19, 2024 21:47 2m 17s
New command "resub_unate" and various changes. Build Posix #288: Commit 3616fd8 pushed by alanminko
May 17, 2024 09:56 4m 14s master
master
May 17, 2024 09:56 4m 14s
Updating instructions for AIG construction. Build Posix #287: Commit 9a89447 pushed by alanminko
May 16, 2024 15:59 3m 52s master
master
May 16, 2024 15:59 3m 52s
Code to dump resub instances. Build Posix #286: Commit 5fc62b8 pushed by alanminko
May 16, 2024 05:21 3m 50s master
master
May 16, 2024 05:21 3m 50s
Updating the previous commit. Build Posix #285: Commit 2c02ae8 pushed by alanminko
May 15, 2024 16:41 3m 49s master
master
May 15, 2024 16:41 3m 49s
New command &genrel to generate relations for windows in the AIG. Build Posix #284: Commit 6ad6539 pushed by alanminko
May 15, 2024 05:35 4m 16s master
master
May 15, 2024 05:35 4m 16s
New command &odc to study observability don't-cares. Build Posix #283: Commit 554da94 pushed by alanminko
May 14, 2024 05:59 3m 56s master
master
May 14, 2024 05:59 3m 56s
New command "resub_core". Build Posix #282: Commit 66c7f67 pushed by alanminko
May 14, 2024 04:31 4m 1s master
master
May 14, 2024 04:31 4m 1s
Updating counter-example generation. Build Posix #281: Commit f04f9c4 pushed by alanminko
May 9, 2024 06:45 3m 48s master
master
May 9, 2024 06:45 3m 48s
New way to generate counter-examples. Build Posix #280: Commit c194c11 pushed by alanminko
May 9, 2024 06:13 4m 14s master
master
May 9, 2024 06:13 4m 14s
Merge pull request #297 from aletempiac/yosys-flow Build Posix #279: Commit ae92ea0 pushed by alanminko
May 7, 2024 13:43 3m 57s master
master
May 7, 2024 13:43 3m 57s
Integrating delay-driven LUT decomposition in &if Build Posix #278: Pull request #297 opened by aletempiac
May 7, 2024 09:07 8m 8s aletempiac:yosys-flow
aletempiac:yosys-flow
May 7, 2024 09:07 8m 8s
New command &putontop to create large AIGs. Build Posix #277: Commit fb97997 pushed by alanminko
May 4, 2024 20:38 4m 12s master
master
May 4, 2024 20:38 4m 12s
Merge pull request #296 from QuantamHD/enable_actions_on_pull Build Posix #276: Commit 4865b58 pushed by alanminko
May 4, 2024 01:23 6m 33s master
master
May 4, 2024 01:23 6m 33s
Merge pull request #295 from QuantamHD/revert_c++_downgrade Build Posix #275: Commit 16ba7ed pushed by alanminko
May 4, 2024 01:22 4m 18s master
master
May 4, 2024 01:22 4m 18s
Merge pull request #294 from QuantamHD/fix_wlc_blast Build Posix #274: Commit 08301d0 pushed by alanminko
May 4, 2024 01:22 2m 37s master
master
May 4, 2024 01:22 2m 37s
Enables github actions on pull requests Build Posix #273: Pull request #296 opened by QuantamHD
May 3, 2024 20:11 3m 53s QuantamHD:enable_actions_on_pull
QuantamHD:enable_actions_on_pull
May 3, 2024 20:11 3m 53s
Merge pull request #293 from QuantamHD/fix_duplicate_declaration Build Posix #272: Commit 516c38b pushed by alanminko
May 2, 2024 02:18 3m 50s master
master
May 2, 2024 02:18 3m 50s
Merge pull request #291 from cr1901/win-fix Build Posix #271: Commit 848dc0d pushed by alanminko
April 29, 2024 14:54 4m 2s master
master
April 29, 2024 14:54 4m 2s
Dumping miter statistics. Build Posix #270: Commit c14d5f3 pushed by alanminko
April 23, 2024 02:06 4m 52s master
master
April 23, 2024 02:06 4m 52s
Merge pull request #290 from YosysHQ/povik/fix-simrsb-decl Build Posix #269: Commit 6699c07 pushed by alanminko
April 22, 2024 19:14 5m 46s master
master
April 22, 2024 19:14 5m 46s
Merge pull request #287 from gadfort/correct-prefix Build Posix #268: Commit 8a174ee pushed by alanminko
April 16, 2024 13:22 3m 56s master
master
April 16, 2024 13:22 3m 56s
Bug fix in CNF generation for &glucose (three more places). Build Posix #267: Commit bc725b8 pushed by alanminko
April 16, 2024 03:29 5m 2s master
master
April 16, 2024 03:29 5m 2s
Bug fix in CNF generation for &glucose. Build Posix #266: Commit 2d6b5c9 pushed by alanminko
April 16, 2024 03:25 5m 0s master
master
April 16, 2024 03:25 5m 0s
Added switch -p in "read_lib" to skip writing cell prefix. Build Posix #265: Commit 99e0e37 pushed by alanminko
April 14, 2024 16:51 7m 17s master
master
April 14, 2024 16:51 7m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-04-14 or the other filters available.