Skip to content

Actions: berkeley-abc/abc

Actions

Build Posix

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Formace active Build Posix #1162: Pull request #548 opened by elvis517
Action required elvis517:formace_active
elvis517:formace_active
Action required
Fix an issue that can cause the inprocessing step to fail if constant gates are introduced. Build Posix #1160: Pull request #547 opened by fxreichl
5m 50s fxreichl:master
fxreichl:master
5m 50s
WASI fix Build Posix #1158: Pull request #546 opened by mmicko
6m 33s YosysHQ:mmicko/wasifix
YosysHQ:mmicko/wasifix
6m 33s
Merge pull request #535 from aiquoc/experiment-x-aware-equivalence-ch… Build Posix #1157: Commit 5ea3464 pushed by alanminko
5m 39s master
master
5m 39s
Update word-level data-structure Build Posix #1156: Commit 324081b pushed by alanminko
5m 38s master
master
5m 38s
Merge pull request #545 from fxreichl/master Build Posix #1155: Commit 371e53f pushed by alanminko
23m 33s master
master
23m 33s
Merge pull request #543 from marcelwa/cec-verdict-const0 Build Posix #1154: Commit 89bef47 pushed by alanminko
22m 38s master
master
22m 38s
Merge pull request #541 from marcelwa/acd-local-extend-shift-ub Build Posix #1153: Commit fe862d3 pushed by alanminko
19m 31s master
master
19m 31s
Merge pull request #540 from marcelwa/lpk-mux-split-support-guard Build Posix #1152: Commit 1d28820 pushed by alanminko
16m 20s master
master
16m 20s
Merge pull request #539 from marcelwa/acd-uninit-bestperm Build Posix #1151: Commit 25b0e53 pushed by alanminko
10m 44s master
master
10m 44s
Merge pull request #538 from marcelwa/fraig-store-restore-pi-order Build Posix #1150: Commit a954df2 pushed by alanminko
9m 19s master
master
9m 19s
Fix windows build Build Posix #1149: Commit 094c1ca pushed by alanminko
5m 42s master
master
5m 42s
Add experimental word-level data-structure Build Posix #1148: Commit 12eb48b pushed by alanminko
5m 32s master
master
5m 32s
Fix a bug that can arise when reducing circuit depth. Build Posix #1147: Pull request #545 opened by fxreichl
5m 42s fxreichl:master
fxreichl:master
5m 42s
Remove BAC and CBA from Windows project Build Posix #1145: Commit e4383a8 pushed by alanminko
5m 30s master
master
5m 30s
Remove legacy BAC and CBA packages Build Posix #1144: Commit e69c02c pushed by alanminko
5m 51s master
master
5m 51s
Adding an option t0 &cec against a truth table. Build Posix #1142: Commit 6c51a92 pushed by alanminko
6m 4s master
master
6m 4s
acd: uninitialised read of bestPerm in enumerate_iset_combinations Build Posix #1139: Pull request #539 opened by marcelwa
13m 55s marcelwa:acd-uninit-bestperm
marcelwa:acd-uninit-bestperm
13m 55s
fraig_store: restore the PI order when the name comparison fails Build Posix #1138: Pull request #538 opened by marcelwa
5m 29s marcelwa:fraig-store-restore-pi-order
marcelwa:fraig-store-restore-pi-order
5m 29s
Fix eSLIM crashes from non-contiguous delay selectors and unstrashed Gia export. Build Posix #1137: Pull request #536 opened by RyanAmaudruz
15m 30s RyanAmaudruz:fix/eslim-delay-selectors-and-gia-rehash
RyanAmaudruz:fix/eslim-delay-selectors-and-gia-rehash
15m 30s
Update mapped delay computation. Build Posix #1136: Commit 8e224cd pushed by alanminko
6m 0s master
master
6m 0s
Experiment x aware equivalence checking Build Posix #1135: Pull request #535 opened by aiquoc
5m 43s aiquoc:experiment-x-aware-equivalence-checking
aiquoc:experiment-x-aware-equivalence-checking
5m 43s
Crtical path detection for AIGs. Build Posix #1134: Commit e76768b pushed by alanminko
6m 18s master
master
6m 18s
Merge pull request #534 from zxxr1113/scorr2-upstream Build Posix #1133: Commit 4e1b34d pushed by alanminko
5m 29s master
master
5m 29s
new command &scorr2 extended from &scorr Build Posix #1132: Pull request #534 opened by zxxr1113
5m 56s zxxr1113:scorr2-upstream
zxxr1113:scorr2-upstream
5m 56s