Skip to content

Actions: berkeley-abc/abc

Build Posix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
244 workflow runs
244 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improved bit-blasting of some word-level operators.
Build Posix #398: Commit af1de4f pushed by alanminko
October 1, 2024 13:35 3m 51s master
October 1, 2024 13:35 3m 51s
Bug fix.
Build Posix #397: Commit 4369321 pushed by alanminko
September 28, 2024 20:39 3m 49s master
September 28, 2024 20:39 3m 49s
Merge pull request #334 from mikesinouye/multilib
Build Posix #396: Commit 9539306 pushed by alanminko
September 23, 2024 03:48 4m 1s master
September 23, 2024 03:48 4m 1s
Merge pull request #335 from MyskYko/fix_ttopt
Build Posix #395: Commit 3f7a308 pushed by alanminko
September 23, 2024 03:48 3m 57s master
September 23, 2024 03:48 3m 57s
ttopt bugfix
Build Posix #394: Pull request #335 opened by MyskYko
September 22, 2024 21:44 3m 45s MyskYko:fix_ttopt
September 22, 2024 21:44 3m 45s
Increase buffer size in filename append utility to support more liberty files.
Build Posix #393: Pull request #334 synchronize by mikesinouye
September 18, 2024 23:46 3m 45s mikesinouye:multilib
September 18, 2024 23:46 3m 45s
Increase buffer size in filename append utility to support more liberty files.
Build Posix #392: Pull request #334 synchronize by mikesinouye
September 18, 2024 23:29 3m 59s mikesinouye:multilib
September 18, 2024 23:29 3m 59s
Increase buffer size in filename append utility to support more liberty files.
Build Posix #391: Pull request #334 synchronize by mikesinouye
September 18, 2024 23:05 4m 12s mikesinouye:multilib
September 18, 2024 23:05 4m 12s
Merge pull request #333 from sterin/master
Build Posix #389: Commit db245f5 pushed by alanminko
September 15, 2024 22:49 3m 56s master
September 15, 2024 22:49 3m 56s
Resolve problems with GitHub Actions
Build Posix #388: Pull request #333 synchronize by sterin
September 15, 2024 22:11 3m 50s sterin:master
September 15, 2024 22:11 3m 50s
Resolve problems with GitHub Actions
Build Posix #387: Pull request #333 opened by sterin
September 14, 2024 22:30 3m 49s sterin:master
September 14, 2024 22:30 3m 49s
Trasferring equivalence in the special-case usage of &scorr.
Build Posix #386: Commit 9c152b7 pushed by alanminko
September 13, 2024 01:12 14s master
September 13, 2024 01:12 14s
Another way of writing primary outputs in Verilog.
Build Posix #384: Commit 0d10253 pushed by alanminko
September 6, 2024 13:27 4m 10s master
September 6, 2024 13:27 4m 10s
Updating "read_lib" to output all gates when gain-based modeling is u…
Build Posix #383: Commit 3ddd461 pushed by alanminko
September 6, 2024 00:53 3m 51s master
September 6, 2024 00:53 3m 51s
Updating internal cut manager to prefer cuts with high fanin fanout c…
Build Posix #382: Commit 3de73f2 pushed by alanminko
September 5, 2024 20:27 4m 1s master
September 5, 2024 20:27 4m 1s
Updating &funtrace to trace function of the primary outputs of the AIG.
Build Posix #381: Commit 03d9293 pushed by alanminko
September 4, 2024 00:17 3m 58s master
September 4, 2024 00:17 3m 58s
Merge pull request #327 from YosysHQ/povik/aiger-cell-mapping
Build Posix #378: Commit 5d6a568 pushed by alanminko
August 28, 2024 20:23 4m 23s master
August 28, 2024 20:23 4m 23s
Save cell mapping as new 'M' AIGER extension
Build Posix #377: Pull request #327 synchronize by povik
August 28, 2024 20:10 5m 26s YosysHQ:povik/aiger-cell-mapping
August 28, 2024 20:10 5m 26s
Merge pull request #326 from wjrforcyber/resub_markB
Build Posix #376: Commit 9371696 pushed by alanminko
August 28, 2024 19:05 4m 5s master
August 28, 2024 19:05 4m 5s
Save cell mapping as new 'M' AIGER extension
Build Posix #375: Pull request #327 opened by povik
August 28, 2024 14:23 2m 50s YosysHQ:povik/aiger-cell-mapping
August 28, 2024 14:23 2m 50s
Refactor(Resub): Clear markA/B at the beginning
Build Posix #374: Pull request #326 synchronize by wjrforcyber
August 28, 2024 08:52 3m 57s wjrforcyber:resub_markB
August 28, 2024 08:52 3m 57s
Refactor(Resub): Clear markA/B at the beginning
Build Posix #373: Pull request #326 opened by wjrforcyber
August 28, 2024 08:16 3m 56s wjrforcyber:resub_markB
August 28, 2024 08:16 3m 56s
Merge pull request #323 from rocallahan/workflow-name
Build Posix #372: Commit 64ed5b8 pushed by alanminko
August 24, 2024 16:22 3m 41s master
August 24, 2024 16:22 3m 41s