Skip to content

Actions: berkeley-abc/abc

Build Posix CMake

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trasferring equivalence in the special-case usage of &scorr.
Build Posix CMake #388: Commit 9c152b7 pushed by alanminko
September 13, 2024 01:12 12s master
September 13, 2024 01:12 12s
Another way of writing primary outputs in Verilog.
Build Posix CMake #386: Commit 0d10253 pushed by alanminko
September 6, 2024 13:27 1d 1h 54m 45s master
September 6, 2024 13:27 1d 1h 54m 45s
Updating "read_lib" to output all gates when gain-based modeling is u…
Build Posix CMake #385: Commit 3ddd461 pushed by alanminko
September 6, 2024 00:53 1d 9h 38m 5s master
September 6, 2024 00:53 1d 9h 38m 5s
Updating internal cut manager to prefer cuts with high fanin fanout c…
Build Posix CMake #384: Commit 3de73f2 pushed by alanminko
September 5, 2024 20:27 1d 14h 4m 1s master
September 5, 2024 20:27 1d 14h 4m 1s
Updating &funtrace to trace function of the primary outputs of the AIG.
Build Posix CMake #383: Commit 03d9293 pushed by alanminko
September 4, 2024 00:17 1d 10h 13m 37s master
September 4, 2024 00:17 1d 10h 13m 37s
Perf improvement in satsolver
Build Posix CMake #382: Pull request #328 synchronize by heshpdx
September 3, 2024 04:53 -1s heshpdx:master
September 3, 2024 04:53 -1s
Perf improvement in satsolver
Build Posix CMake #381: Pull request #328 opened by heshpdx
September 3, 2024 04:32 Action required heshpdx:master
September 3, 2024 04:32 Action required
Merge pull request #327 from YosysHQ/povik/aiger-cell-mapping
Build Posix CMake #380: Commit 5d6a568 pushed by alanminko
August 28, 2024 20:23 1d 14h 8m 2s master
August 28, 2024 20:23 1d 14h 8m 2s
Save cell mapping as new 'M' AIGER extension
Build Posix CMake #379: Pull request #327 synchronize by povik
August 28, 2024 20:10 1d 14h 21m 2s YosysHQ:povik/aiger-cell-mapping
August 28, 2024 20:10 1d 14h 21m 2s
Merge pull request #326 from wjrforcyber/resub_markB
Build Posix CMake #378: Commit 9371696 pushed by alanminko
August 28, 2024 19:05 1d 15h 25m 40s master
August 28, 2024 19:05 1d 15h 25m 40s
Save cell mapping as new 'M' AIGER extension
Build Posix CMake #377: Pull request #327 opened by povik
August 28, 2024 14:23 1d 0h 59m 36s YosysHQ:povik/aiger-cell-mapping
August 28, 2024 14:23 1d 0h 59m 36s
Refactor(Resub): Clear markA/B at the beginning
Build Posix CMake #376: Pull request #326 synchronize by wjrforcyber
August 28, 2024 08:52 1d 1h 38m 44s wjrforcyber:resub_markB
August 28, 2024 08:52 1d 1h 38m 44s
Refactor(Resub): Clear markA/B at the beginning
Build Posix CMake #375: Pull request #326 opened by wjrforcyber
August 28, 2024 08:16 1d 2h 15m 9s wjrforcyber:resub_markB
August 28, 2024 08:16 1d 2h 15m 9s
Merge pull request #323 from rocallahan/workflow-name
Build Posix CMake #374: Commit 64ed5b8 pushed by alanminko
August 24, 2024 16:22 3d 15h 54m 17s master
August 24, 2024 16:22 3d 15h 54m 17s
Merge pull request #322 from rocallahan/unit-tests
Build Posix CMake #373: Commit 034492b pushed by alanminko
August 24, 2024 16:21 3d 15h 54m 34s master
August 24, 2024 16:21 3d 15h 54m 34s
Rename Github Actions job to build-posix-cmake
Build Posix CMake #372: Pull request #323 opened by rocallahan
August 23, 2024 04:12 1d 12h 9m 26s rocallahan:workflow-name
August 23, 2024 04:12 1d 12h 9m 26s
Adds unit testing framework to ABC
Build Posix CMake #371: Pull request #322 synchronize by rocallahan
August 23, 2024 04:09 1d 12h 13m 11s rocallahan:unit-tests
August 23, 2024 04:09 1d 12h 13m 11s
Adds unit testing framework to ABC
Build Posix CMake #370: Pull request #322 opened by rocallahan
August 23, 2024 03:50 3m 58s rocallahan:unit-tests
August 23, 2024 03:50 3m 58s
Regrouping recently added code.
Build Posix CMake #369: Commit af77b80 pushed by alanminko
August 18, 2024 20:57 4d 6h 53m 55s master
August 18, 2024 20:57 4d 6h 53m 55s
New APIs for AIG package.
Build Posix CMake #368: Commit 5e35510 pushed by alanminko
August 18, 2024 20:12 4d 7h 39m 22s master
August 18, 2024 20:12 4d 7h 39m 22s
Experiments with adder-based circuits.
Build Posix CMake #367: Commit 03b786a pushed by alanminko
August 17, 2024 23:26 1d 11h 4m 58s master
August 17, 2024 23:26 1d 11h 4m 58s
Compiler warnings.
Build Posix CMake #366: Commit 732abf5 pushed by alanminko
August 17, 2024 04:35 1d 5h 56m 8s master
August 17, 2024 04:35 1d 5h 56m 8s
Adding an option to dump satisfying assignments into a BLIF file.
Build Posix CMake #365: Commit 2055b1b pushed by alanminko
August 14, 2024 21:41 2d 6h 53m 45s master
August 14, 2024 21:41 2d 6h 53m 45s
Adding BLIF dumping to "lutexact".
Build Posix CMake #364: Commit c239168 pushed by alanminko
August 14, 2024 03:03 1d 7h 28m 1s master
August 14, 2024 03:03 1d 7h 28m 1s