Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
197 workflow runs
197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update smt-switch version to smt-switch@c85ee3b2ef44de8d06cd45dcb15ac… CI #349: Commit ff500e5 pushed by CyanoKobalamyne
August 28, 2024 18:37 17m 13s smt-switch-update-20240828
smt-switch-update-20240828
August 28, 2024 18:37 17m 13s
Exclude state variables without update functions in simple path check… CI #348: Commit f4583db pushed by CyanoKobalamyne
August 21, 2024 22:10 17m 0s main
main
August 21, 2024 22:10 17m 0s
Exclude state variables without update functions in simple path check CI #347: Pull request #341 synchronize by CyanoKobalamyne
August 21, 2024 21:46 17m 36s simple-path-no-next-states
simple-path-no-next-states
August 21, 2024 21:46 17m 36s
Update Btor2 TS copy test CI #346: Commit c196087 pushed by CyanoKobalamyne
August 21, 2024 21:46 17m 32s simple-path-no-next-states
simple-path-no-next-states
August 21, 2024 21:46 17m 32s
Exclude state variables without update functions in simple path check CI #345: Pull request #341 opened by CyanoKobalamyne
August 21, 2024 18:25 17m 13s simple-path-no-next-states
simple-path-no-next-states
August 21, 2024 18:25 17m 13s
Exclude states without update functions from simple path checking CI #344: Commit b13ec96 pushed by CyanoKobalamyne
August 21, 2024 18:25 17m 55s simple-path-no-next-states
simple-path-no-next-states
August 21, 2024 18:25 17m 55s
Do not limit depth when cloning btor2tools (#340) CI #343: Commit 8e94f5a pushed by CyanoKobalamyne
August 21, 2024 18:23 17m 33s main
main
August 21, 2024 18:23 17m 33s
Do not limit depth when cloning btor2tools CI #342: Pull request #340 opened by CyanoKobalamyne
August 21, 2024 18:02 16m 54s btor2tools-clone-depth
btor2tools-clone-depth
August 21, 2024 18:02 16m 54s
Do not limit depth when cloning btor2tools CI #341: Commit 02ed6a9 pushed by CyanoKobalamyne
August 21, 2024 18:01 17m 21s btor2tools-clone-depth
btor2tools-clone-depth
August 21, 2024 18:01 17m 21s
Exclude states without update functions from simple path checking CI #340: Commit 1163867 pushed by CyanoKobalamyne
August 21, 2024 17:53 1m 30s simple-path-no-next-states
simple-path-no-next-states
August 21, 2024 17:53 1m 30s
Configurable smt-switch directory CI #339: Pull request #327 synchronize by CyanoKobalamyne
August 19, 2024 21:49 1m 31s smt-switch-dir
smt-switch-dir
August 19, 2024 21:49 1m 31s
Configurable smt-switch directory CI #338: Commit 0e68b78 pushed by CyanoKobalamyne
August 19, 2024 21:49 1m 22s smt-switch-dir
smt-switch-dir
August 19, 2024 21:49 1m 22s
Update parallel script for benchmarking CI #337: Commit ffe6b61 pushed by CyanoKobalamyne
August 19, 2024 21:38 1m 36s benchmarking
benchmarking
August 19, 2024 21:38 1m 36s
Exclude MathSAT from CI runs on macOS (#339) CI #336: Commit 2c55a48 pushed by CyanoKobalamyne
August 1, 2024 23:37 16m 58s main
main
August 1, 2024 23:37 16m 58s
Exclude MathSAT from CI runs on macOS CI #335: Pull request #339 synchronize by CyanoKobalamyne
August 1, 2024 23:20 16m 56s macos-no-mathsat
macos-no-mathsat
August 1, 2024 23:20 16m 56s
Exclude MathSAT from CI runs on macOS CI #334: Commit f68bab3 pushed by CyanoKobalamyne
August 1, 2024 23:20 17m 6s macos-no-mathsat
macos-no-mathsat
August 1, 2024 23:20 17m 6s
Exclude MathSAT from CI runs on macOS CI #333: Pull request #339 opened by CyanoKobalamyne
August 1, 2024 23:10 10m 28s macos-no-mathsat
macos-no-mathsat
August 1, 2024 23:10 10m 28s
Exclude MathSAT from CI runs on macOS CI #332: Commit 5fc1fff pushed by CyanoKobalamyne
August 1, 2024 23:06 8m 55s macos-no-mathsat
macos-no-mathsat
August 1, 2024 23:06 8m 55s
Update dep to stanford-centaur/smt-switch@ff051c824d8d4ae29977c552561… CI #331: Commit f068987 pushed by CyanoKobalamyne
August 1, 2024 23:02 9m 19s main
main
August 1, 2024 23:02 9m 19s
Update smt-switch to July 18 version CI #330: Pull request #336 synchronize by CyanoKobalamyne
August 1, 2024 22:11 8m 40s smt-switch-update-20240718
smt-switch-update-20240718
August 1, 2024 22:11 8m 40s
Update to stanford-centaur/smt-switch@ff051c824d8d4ae29977c552561e278… CI #329: Commit 86db5ea pushed by CyanoKobalamyne
August 1, 2024 22:11 9m 54s smt-switch-update-20240718
smt-switch-update-20240718
August 1, 2024 22:11 9m 54s
Update btor2tools (#338) CI #328: Commit cfc913a pushed by CyanoKobalamyne
August 1, 2024 19:42 9m 48s main
main
August 1, 2024 19:42 9m 48s
Update btor2tools CI #327: Pull request #338 opened by CyanoKobalamyne
August 1, 2024 19:30 7m 39s btor2tools-update-20240722
btor2tools-update-20240722
August 1, 2024 19:30 7m 39s
Update btor2tools CI #326: Commit 8bd3207 pushed by CyanoKobalamyne
August 1, 2024 19:30 9m 19s btor2tools-update-20240722
btor2tools-update-20240722
August 1, 2024 19:30 9m 19s
Update Bison to fix Clang error (#337) CI #325: Commit 3b3435e pushed by CyanoKobalamyne
August 1, 2024 19:27 1m 47s main
main
August 1, 2024 19:27 1m 47s