Skip to content

Actions: GaloisInc/what4-solvers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #54 from GaloisInc/aarch64-patches what4-solvers #265: Commit 0401feb pushed by RyanGlScott
November 12, 2024 18:49 32m 6s main
main
November 12, 2024 18:49 32m 6s
CVC4: Add patches to ease building on AArch64 what4-solvers #264: Pull request #54 synchronize by RyanGlScott
November 12, 2024 13:15 30m 31s aarch64-patches
aarch64-patches
November 12, 2024 13:15 30m 31s
CVC4: Add patches to ease building on AArch64 what4-solvers #263: Pull request #54 synchronize by RyanGlScott
November 12, 2024 12:47 27m 47s aarch64-patches
aarch64-patches
November 12, 2024 12:47 27m 47s
CVC4: Add patches to ease building on AArch64 what4-solvers #262: Pull request #54 opened by RyanGlScott
November 12, 2024 12:27 18m 29s aarch64-patches
aarch64-patches
November 12, 2024 12:27 18m 29s
Merge pull request #52 from GaloisInc/T51-macos-13 what4-solvers #261: Commit 982ebbb pushed by RyanGlScott
November 8, 2024 20:28 17m 9s main
main
November 8, 2024 20:28 17m 9s
Build x86-64 macOS solvers on macos-13 what4-solvers #260: Pull request #52 synchronize by RyanGlScott
November 8, 2024 19:19 35m 3s T51-macos-13
T51-macos-13
November 8, 2024 19:19 35m 3s
Build x86-64 macOS solvers on macos-13 what4-solvers #259: Pull request #52 synchronize by RyanGlScott
November 8, 2024 18:57 21m 53s T51-macos-13
T51-macos-13
November 8, 2024 18:57 21m 53s
Build x86-64 macOS solvers on macos-13 what4-solvers #258: Pull request #52 synchronize by RyanGlScott
November 8, 2024 15:31 4m 27s T51-macos-13
T51-macos-13
November 8, 2024 15:31 4m 27s
Build x86-64 macOS solvers on macos-13 what4-solvers #257: Pull request #52 synchronize by RyanGlScott
November 8, 2024 14:56 32m 54s T51-macos-13
T51-macos-13
November 8, 2024 14:56 32m 54s
Build x86-64 macOS solvers on macos-13 what4-solvers #256: Pull request #52 opened by RyanGlScott
November 8, 2024 14:51 45s T51-macos-13
T51-macos-13
November 8, 2024 14:51 45s
Upgrade CVC5 to 1.1.1 what4-solvers #255: Commit 34585a2 pushed by RyanGlScott
February 12, 2024 18:59 33m 16s main
main
February 12, 2024 18:59 33m 16s
Upgrade CVC5 to 1.1.1 what4-solvers #254: Pull request #49 opened by RyanGlScott
February 12, 2024 18:23 35m 51s cvc5-1.1.1
cvc5-1.1.1
February 12, 2024 18:23 35m 51s
Bump libpoly submodule to v0.1.12 tag what4-solvers #253: Commit d13ed3b pushed by RyanGlScott
February 5, 2024 11:49 33m 4s main
main
February 5, 2024 11:49 33m 4s
Build solvers on macos-14 (M1 macOS) what4-solvers #252: Pull request #48 synchronize by RyanGlScott
February 4, 2024 15:06 33m 17s T34
T34
February 4, 2024 15:06 33m 17s
Build solvers on macos-14 (M1 macOS) what4-solvers #251: Pull request #48 synchronize by RyanGlScott
February 4, 2024 12:56 35m 59s T34
T34
February 4, 2024 12:56 35m 59s
Build solvers on macos-14 (M1 macOS) what4-solvers #250: Pull request #48 synchronize by RyanGlScott
February 4, 2024 12:52 3m 19s T34
T34
February 4, 2024 12:52 3m 19s
Build solvers on macos-14 (M1 macOS) what4-solvers #249: Pull request #48 synchronize by RyanGlScott
February 4, 2024 12:37 12m 19s T34
T34
February 4, 2024 12:37 12m 19s
Build solvers on macos-14 (M1 macOS) what4-solvers #248: Pull request #48 opened by RyanGlScott
February 4, 2024 12:33 3m 14s T34
T34
February 4, 2024 12:33 3m 14s
Work around bitwuzla/bitwuzla#96 on Ubuntu 20.04 what4-solvers #247: Commit 219cd53 pushed by RyanGlScott
January 12, 2024 20:35 18m 35s main
main
January 12, 2024 20:35 18m 35s
Enable CaDiCaL support when building boolector what4-solvers #246: Commit 4ca6517 pushed by RyanGlScott
January 10, 2024 17:42 1h 4m 13s main
main
January 10, 2024 17:42 1h 4m 13s
Enable CaDiCaL support when building boolector what4-solvers #245: Pull request #47 opened by RyanGlScott
January 10, 2024 13:39 26m 36s T46-boolector-cadical
T46-boolector-cadical
January 10, 2024 13:39 26m 36s
Add bitwuzla-0.3.0 what4-solvers #244: Pull request #42 synchronize by RyanGlScott
December 18, 2023 16:31 31m 44s T41-bitwuzla
T41-bitwuzla
December 18, 2023 16:31 31m 44s
yices: Download gmp from ftp.gnu.org mirror instead of gmplib.org what4-solvers #243: Commit 07020d0 pushed by RyanGlScott
December 18, 2023 14:58 27m 37s main
main
December 18, 2023 14:58 27m 37s
Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download what4-solvers #242: Pull request #45 synchronize by RyanGlScott
December 18, 2023 14:05 19m 26s T43-T44-debug
T43-T44-debug
December 18, 2023 14:05 19m 26s
Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download what4-solvers #241: Pull request #45 synchronize by RyanGlScott
December 18, 2023 13:12 31m 10s T43-T44-debug
T43-T44-debug
December 18, 2023 13:12 31m 10s