Skip to content

Actions: GaloisInc/what4-solvers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download what4-solvers #240: Pull request #45 synchronize by RyanGlScott
December 18, 2023 12:45 26m 3s T43-T44-debug
T43-T44-debug
December 18, 2023 12:45 26m 3s
Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download what4-solvers #239: Pull request #45 synchronize by RyanGlScott
December 18, 2023 12:38 5m 34s T43-T44-debug
T43-T44-debug
December 18, 2023 12:38 5m 34s
Upgrade CVC5 to 1.0.8, use ftp.gnu.org mirror for gmp download what4-solvers #238: Pull request #45 opened by RyanGlScott
December 18, 2023 12:26 5m 41s T43-T44-debug
T43-T44-debug
December 18, 2023 12:26 5m 41s
Add bitwuzla-0.3.0 what4-solvers #237: Pull request #42 synchronize by RyanGlScott
December 12, 2023 11:49 25m 46s T41-bitwuzla
T41-bitwuzla
December 12, 2023 11:49 25m 46s
Add bitwuzla-0.3.0 what4-solvers #236: Pull request #42 synchronize by RyanGlScott
December 12, 2023 11:42 6m 44s T41-bitwuzla
T41-bitwuzla
December 12, 2023 11:42 6m 44s
Add bitwuzla-0.3.0 what4-solvers #235: Pull request #42 synchronize by RyanGlScott
December 10, 2023 03:48 6m 4s T41-bitwuzla
T41-bitwuzla
December 10, 2023 03:48 6m 4s
Add bitwuzla-0.3.0 what4-solvers #234: Pull request #42 synchronize by RyanGlScott
December 5, 2023 12:03 3m 12s T41-bitwuzla
T41-bitwuzla
December 5, 2023 12:03 3m 12s
Add bitwuzla-0.3.0 what4-solvers #233: Pull request #42 synchronize by RyanGlScott
December 5, 2023 12:00 2m 4s T41-bitwuzla
T41-bitwuzla
December 5, 2023 12:00 2m 4s
Add bitwuzla-0.3.0 what4-solvers #232: Pull request #42 synchronize by RyanGlScott
December 5, 2023 11:46 2m 20s T41-bitwuzla
T41-bitwuzla
December 5, 2023 11:46 2m 20s
Add bitwuzla-0.3.0 what4-solvers #231: Pull request #42 opened by RyanGlScott
December 5, 2023 11:40 4m 28s T41-bitwuzla
T41-bitwuzla
December 5, 2023 11:40 4m 28s