Skip to content

Actions: berkeley-abc/abc

Actions

Build Posix

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow for disabling variable ordering in "lutmin". Build Posix #321: Commit 96edf40 pushed by alanminko
July 28, 2024 22:25 2m 17s master
master
July 28, 2024 22:25 2m 17s
chore: __builtin_popcount to replace BitCount8 Build Posix #320: Pull request #309 synchronize by coastalwhite
July 26, 2024 19:49 4m 1s coastalwhite:chore-popcount-intrinsics
coastalwhite:chore-popcount-intrinsics
July 26, 2024 19:49 4m 1s
Duplicating AIG after synthesis. Build Posix #319: Commit b5f4afa pushed by alanminko
July 26, 2024 16:10 5m 23s master
master
July 26, 2024 16:10 5m 23s
Implementation of functional abstraction. Build Posix #318: Commit f8a6432 pushed by alanminko
July 25, 2024 03:23 3m 47s master
master
July 25, 2024 03:23 3m 47s
Using #define for short/common names like BPI and DIFFERENT can… Build Posix #317: Pull request #307 synchronize by rocallahan
July 25, 2024 02:17 3m 48s rocallahan:exor-defines
rocallahan:exor-defines
July 25, 2024 02:17 3m 48s
chore: __builtin_popcount to replace BitCount8 Build Posix #316: Pull request #309 opened by coastalwhite
July 24, 2024 19:47 3m 57s coastalwhite:chore-popcount-intrinsics
coastalwhite:chore-popcount-intrinsics
July 24, 2024 19:47 3m 57s
Merge pull request #303 from rocallahan/signed-lbool Build Posix #315: Commit 6262dcf pushed by alanminko
July 24, 2024 16:48 3m 57s master
master
July 24, 2024 16:48 3m 57s
Updating usage messages of QBF commands. Build Posix #314: Commit d036ba5 pushed by alanminko
July 24, 2024 16:47 3m 51s master
master
July 24, 2024 16:47 3m 51s
Using #define for short/common names like BPI and DIFFERENT can… Build Posix #313: Pull request #307 opened by rocallahan
July 24, 2024 01:27 1m 10s rocallahan:exor-defines
rocallahan:exor-defines
July 24, 2024 01:27 1m 10s
Improved SOP to BDD conversion. Build Posix #312: Commit 5450779 pushed by alanminko
July 21, 2024 23:46 3m 45s master
master
July 21, 2024 23:46 3m 45s
New API for swicthing activity estimation. Build Posix #311: Commit d7a623c pushed by alanminko
July 17, 2024 22:15 2m 20s master
master
July 17, 2024 22:15 2m 20s
Updating parameters. Build Posix #310: Commit c7ac6be pushed by alanminko
July 15, 2024 01:55 4m 15s 396131fc97b0aeed
396131fc97b0aeed
July 15, 2024 01:55 4m 15s
Updating parameters. Build Posix #309: Commit c7ac6be pushed by alanminko
July 12, 2024 14:28 4m 2s master
master
July 12, 2024 14:28 4m 2s
Adding command &genmux. Build Posix #308: Commit ae2e3f9 pushed by alanminko
July 12, 2024 05:23 3m 48s master
master
July 12, 2024 05:23 3m 48s
Allowing the genlib reader to skip gates larger than the given size. Build Posix #307: Commit 13998ba pushed by alanminko
July 10, 2024 19:59 3m 50s master
master
July 10, 2024 19:59 3m 50s
print_mffc: Enable showing Factored Form Literal Count in MFFC Build Posix #306: Pull request #304 synchronize by wjrforcyber
July 2, 2024 15:01 3m 52s wjrforcyber:print_mffc_with_FFLC
wjrforcyber:print_mffc_with_FFLC
July 2, 2024 15:01 3m 52s
print_mffc: Enable showing Factored Form Literal Count in MFFC Build Posix #305: Pull request #304 opened by wjrforcyber
July 1, 2024 10:04 3m 25s wjrforcyber:print_mffc_with_FFLC
wjrforcyber:print_mffc_with_FFLC
July 1, 2024 10:04 3m 25s
Make lbool explicitly signed Build Posix #304: Pull request #303 opened by rocallahan
June 28, 2024 01:10 3m 58s rocallahan:signed-lbool
rocallahan:signed-lbool
June 28, 2024 01:10 3m 58s
Corner-case bug fix. Build Posix #303: Commit 2d70deb pushed by alanminko
June 18, 2024 15:02 3m 56s master
master
June 18, 2024 15:02 3m 56s
Merge pull request #302 from mikesinouye/scl Build Posix #302: Commit 7beda11 pushed by alanminko
June 17, 2024 08:12 3m 55s master
master
June 17, 2024 08:12 3m 55s
Adding switch "i" in "show" to display original AIG IDs of mapped nodes. Build Posix #301: Commit 24d4203 pushed by alanminko
June 16, 2024 09:49 3m 47s master
master
June 16, 2024 09:49 3m 47s
Change Scl_Pair_t_ membes to long to enable larger liberty file loading. Build Posix #300: Pull request #302 opened by mikesinouye
June 13, 2024 23:17 3m 57s mikesinouye:scl
mikesinouye:scl
June 13, 2024 23:17 3m 57s
Updating the print-out after the bug fix. Build Posix #299: Commit 806a996 pushed by alanminko
May 30, 2024 06:44 3m 55s master
master
May 30, 2024 06:44 3m 55s
Bug fix. Build Posix #298: Commit 17b1ec7 pushed by alanminko
May 29, 2024 20:05 3m 56s master
master
May 29, 2024 20:05 3m 56s
New API to print internal nodes. Build Posix #297: Commit fb4988b pushed by alanminko
May 28, 2024 20:23 13m 22s master
master
May 28, 2024 20:23 13m 22s