Skip to content

Actions: CyanoKobalamyne/smt-switch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix deps directory creation (#354) CI #44: Commit 1f708c2 pushed by CyanoKobalamyne
August 31, 2024 08:28 13m 58s main
main
August 31, 2024 08:28 13m 58s
Update bitwuzla version to bitwuzla/bitwuzla@0e81e616af4d4421729884f0… CI #43: Commit 2f47405 pushed by CyanoKobalamyne
August 30, 2024 22:13 14m 0s main
main
August 30, 2024 22:13 14m 0s
Update gtest version CI #42: Commit b2b59db pushed by CyanoKobalamyne
August 28, 2024 18:20 13m 56s gtest-update
gtest-update
August 28, 2024 18:20 13m 56s
Unify static lib repacking to always use script (#352) CI #41: Commit ff051c8 pushed by CyanoKobalamyne
July 31, 2024 22:47 14m 0s main
main
July 31, 2024 22:47 14m 0s
Use common Cadical dependency for various solvers (#350) CI #40: Commit 363d617 pushed by CyanoKobalamyne
July 18, 2024 18:20 13m 31s main
main
July 18, 2024 18:20 13m 31s
Use repack-static-lib.sh for mathsat CI #39: Commit 2ec1a44 pushed by CyanoKobalamyne
July 8, 2024 23:50 13m 49s unify-static-repack
unify-static-repack
July 8, 2024 23:50 13m 49s
Use repack-static-lib.sh for boolector CI #38: Commit 578db12 pushed by CyanoKobalamyne
July 8, 2024 22:38 13m 49s unify-static-repack
unify-static-repack
July 8, 2024 22:38 13m 49s
Install cadical headers CI #37: Commit 0bec54d pushed by CyanoKobalamyne
July 8, 2024 22:10 13m 56s static-fixes
static-fixes
July 8, 2024 22:10 13m 56s
Use repack-static-lib.sh for boolector CI #36: Commit 578db12 pushed by CyanoKobalamyne
July 8, 2024 21:34 14m 17s static-fixes
static-fixes
July 8, 2024 21:34 14m 17s
Use repack-static-lib.sh for boolector CI #35: Commit ccad1cf pushed by CyanoKobalamyne
July 8, 2024 21:25 2m 56s static-fixes
static-fixes
July 8, 2024 21:25 2m 56s
Install cadical headers CI #34: Commit 0bec54d pushed by CyanoKobalamyne
July 5, 2024 20:34 13m 51s static-fixes
static-fixes
July 5, 2024 20:34 13m 51s
[TEMP] Debugging pono CI CI #33: Commit f89a234 pushed by CyanoKobalamyne
July 5, 2024 20:21 1m 38s static-fixes
static-fixes
July 5, 2024 20:21 1m 38s
Install cadical headers CI #32: Commit 0bec54d pushed by CyanoKobalamyne
July 5, 2024 12:52 14m 0s static-fixes
static-fixes
July 5, 2024 12:52 14m 0s
Make install command macOS-compatible CI #31: Commit d392702 pushed by CyanoKobalamyne
July 5, 2024 11:49 2m 42s static-fixes
static-fixes
July 5, 2024 11:49 2m 42s
Add symlink to setup-cadical.sh in ci-scripts CI #30: Commit 1087e75 pushed by CyanoKobalamyne
July 4, 2024 15:42 2m 50s static-fixes
static-fixes
July 4, 2024 15:42 2m 50s
Use same cadical library for cvc5 and boolector CI #29: Commit 2390b00 pushed by CyanoKobalamyne
July 3, 2024 13:20 1m 28s static-fixes
static-fixes
July 3, 2024 13:20 1m 28s
Do not include cadical in libsmt-switch-btor.a CI #28: Commit d0e6ed7 pushed by CyanoKobalamyne
July 1, 2024 17:16 13m 18s static-fixes
static-fixes
July 1, 2024 17:16 13m 18s
Update Bitwuzla code for new API (#347) CI #27: Commit 2da835b pushed by CyanoKobalamyne
June 18, 2024 18:03 13m 30s main
main
June 18, 2024 18:03 13m 30s
Make system GTest optional and add version CI #26: Commit cedbe19 pushed by CyanoKobalamyne
June 14, 2024 23:26 43s gtest-dep
gtest-dep
June 14, 2024 23:26 43s
Update gtest version CI #25: Commit fa1e773 pushed by CyanoKobalamyne
June 14, 2024 01:14 17m 30s gtest-update
gtest-update
June 14, 2024 01:14 17m 30s
Fix issues with CI (#348) CI #24: Commit 226f49b pushed by CyanoKobalamyne
May 21, 2024 23:43 13m 15s main
main
May 21, 2024 23:43 13m 15s
Add Homebrew prefixes to flag env vars CI #23: Commit 681c914 pushed by CyanoKobalamyne
May 21, 2024 23:06 16m 30s ci-python-fix
ci-python-fix
May 21, 2024 23:06 16m 30s
Update MathSAT to use arm64 binary for macos CI #22: Commit 7d479c0 pushed by CyanoKobalamyne
May 21, 2024 22:27 2m 5s ci-python-fix
ci-python-fix
May 21, 2024 22:27 2m 5s
Install autoconf on macos CI for Yices2 CI #21: Commit 6fee789 pushed by CyanoKobalamyne
May 21, 2024 22:07 2m 12s ci-python-fix
ci-python-fix
May 21, 2024 22:07 2m 12s
Update bison CI #20: Commit bd026eb pushed by CyanoKobalamyne
May 21, 2024 21:58 1m 55s ci-python-fix
ci-python-fix
May 21, 2024 21:58 1m 55s