Skip to content

Actions: berkeley-abc/abc

Actions

Build Posix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-posix.yml
355 workflow runs
355 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
Merge pull request #509 from fxreichl/master Build Posix #1075: Commit a917c1a pushed by alanminko
6m 0s master
master
6m 0s
Modify default intermediate AIGER file name. Build Posix #1074: Commit cd6e9b5 pushed by alanminko
5m 27s master
master
5m 27s
Add Windows fixes so abc compiles natively with GCC. Build Posix #1073: Pull request #435 synchronize by cr1901
5m 38s cr1901:win-fix2
cr1901:win-fix2
5m 38s
Add option for lut optimisation Build Posix #1072: Pull request #509 opened by fxreichl
7m 16s fxreichl:master
fxreichl:master
7m 16s
misc: Prevent Vec_IntRemove from loading nSize in every iteration Build Posix #1071: Pull request #508 opened by mshockwave
-1s mshockwave:patch/fix-vec-int-nSize-reload
mshockwave:patch/fix-vec-int-nSize-reload
-1s
Updating interface of "twoexaxct". Build Posix #1070: Commit f4d870e pushed by alanminko
5m 35s master
master
5m 35s
Imrpovements in "twoexact". Build Posix #1069: Commit 07e38ef pushed by alanminko
5m 42s master
master
5m 42s
Add MM-based adder generation to &genadder. Build Posix #1068: Commit 7bf1177 pushed by alanminko
5m 37s master
master
5m 37s
Merge pull request #507 from Meneya/bmc3c Build Posix #1067: Commit 2827348 pushed by alanminko
6m 8s master
master
6m 8s
Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c) Build Posix #1066: Pull request #507 opened by Meneya
5m 36s Meneya:bmc3c
Meneya:bmc3c
5m 36s
Bug fix in handling ufar calls. Build Posix #1065: Commit c61f1a0 pushed by alanminko
5m 37s master
master
5m 37s
Merge pull request #506 from zxxr1113/incremental_scorr_clean Build Posix #1064: Commit 9d410e8 pushed by alanminko
6m 0s master
master
6m 0s
New feature: Add incremental refinement to &scorr command Build Posix #1063: Pull request #506 synchronize by zxxr1113
5m 48s zxxr1113:incremental_scorr_clean
zxxr1113:incremental_scorr_clean
5m 48s
Bug fix in &sprove. Build Posix #1062: Commit 8c9e662 pushed by alanminko
5m 45s master
master
5m 45s
Assume minimum required times when not given by the user. Build Posix #1061: Commit 60b3991 pushed by alanminko
5m 56s master
master
5m 56s
New feature: Add incremental refinement to &scorr command Build Posix #1060: Pull request #506 opened by zxxr1113
5m 39s zxxr1113:incremental_scorr_clean
zxxr1113:incremental_scorr_clean
5m 39s
Multi-output gate mapper. Build Posix #1059: Commit d54cbda pushed by alanminko
5m 43s master
master
5m 43s
Bug fix. Build Posix #1058: Commit cf5da03 pushed by alanminko
5m 33s master
master
5m 33s
Initial support of multi-output gates in sizing. Build Posix #1057: Commit f315727 pushed by alanminko
5m 48s master
master
5m 48s
Streamlining support for multi-output gates Build Posix #1056: Commit eaa8496 pushed by alanminko
5m 45s master
master
5m 45s
Extending support for sequential AIGs. Build Posix #1055: Commit fc4cfc0 pushed by alanminko
5m 43s master
master
5m 43s
Demonstrate and fix SIGBUS problems on sparc64 Build Posix #1054: Pull request #504 synchronize by petterreinholdtsen
6m 53s petterreinholdtsen:sparc64-test-fix
petterreinholdtsen:sparc64-test-fix
6m 53s
Merge pull request #498 from petterreinholdtsen/mach-only-apple Build Posix #1053: Commit 84b78d5 pushed by alanminko
10m 32s master
master
10m 32s
Merge pull request #499 from petterreinholdtsen/missing-path-max Build Posix #1052: Commit 6d9c88d pushed by alanminko
10m 50s master
master
10m 50s
Merge pull request #505 from gigeresk/lutpack_assert_fix Build Posix #1051: Commit 298bcee pushed by alanminko
8m 11s master
master
8m 11s