8000 CI · Workflow runs · stanford-centaur/pono · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: stanford-centaur/pono

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print more linker information CI #668: Commit 912912d pushed by CyanoKobalamyne
May 29, 2025 21:18 20m 6s smt-switch-update-20250528
smt-switch-update-20250528
May 29, 2025 21:18 20m 6s
Print more linker information CI #667: Commit 1a9d496 pushed by CyanoKobalamyne
May 29, 2025 20:33 19m 36s smt-switch-update-20250528
smt-switch-update-20250528
May 29, 2025 20:33 19m 36s
Verbose Makefile CI #666: Commit 7399999 pushed by CyanoKobalamyne
May 29, 2025 04:31 20m 55s smt-switch-update-20250528
smt-switch-update-20250528
May 29, 2025 04:31 20m 55s
Generate compilation database CI #665: Commit 3d57512 pushed by CyanoKobalamyne
May 29, 2025 03:06 20m 4s main
main
May 29, 2025 03:06 20m 4s
Remove editable Python install step from CI CI #664: Commit 7373e1e pushed by CyanoKobalamyne
May 29, 2025 02:53 20m 30s smt-switch-update-20250528
smt-switch-update-20250528
May 29, 2025 02:53 20m 30s
Rename make_prover to make_safety_prover CI #663: Commit fc64ad5 pushed by Po-Chun-Chien
May 28, 2025 23:34 13m 18s prover-refactor
prover-refactor
May 28, 2025 23:34 13m 18s
Update smt-switch to 2546726 CI #662: Commit 7901b64 pushed by CyanoKobalamyne
May 28, 2025 22:50 25m 38s smt-switch-update-20250528
smt-switch-update-20250528
May 28, 2025 22:50 25m 38s
Make Property object able to store multiple terms CI #661: Commit 0094bf0 pushed by Po-Chun-Chien
May 28, 2025 04:22 11m 37s prover-refactor
prover-refactor
May 28, 2025 04:22 11m 37s
Use version with fixed setup-bitwuzla.sh CI #660: Commit 218843b pushed by CyanoKobalamyne
May 13, 2025 01:07 19m 25s smt-switch-update-2e726ab
smt-switch-update-2e726ab
May 13, 2025 01:07 19m 25s
Use version with cvc5 build script fixes CI #659: Commit 8a19650 pushed by CyanoKobalamyne
May 13, 2025 01:00 19m 23s smt-switch-update-2e726ab
smt-switch-update-2e726ab
May 13, 2025 01:00 19m 23s
Update smt-switch to 2e726ab CI #658: Commit 8132cb8 pushed by CyanoKobalamyne
May 7, 2025 23:41 16m 22s smt-switch-update-2e726ab
smt-switch-update-2e726ab
May 7, 2025 23:41 16m 22s
Apply suggestions from code review CI #657: Commit 6c2250a pushed by CyanoKobalamyne
May 6, 2025 22:27 10m 15s liveness
liveness
May 6, 2025 22:27 10m 15s
Run all build strategies completely even if one fail (#401) CI #656: Commit 34263ff pushed by CyanoKobalamyne
May 6, 2025 01:01 18m 25s main
main
May 6, 2025 01:01 18m 25s
Run all build strategies completely even if one fail CI #655: Commit ce47a0c pushed by Po-Chun-Chien
April 30, 2025 23:15 18m 7s ci-disable-fail-fast
ci-disable-fail-fast
April 30, 2025 23:15 18m 7s
Add a debugging method to check validity of interpolation sequence CI #654: Commit 77018dc pushed by Po-Chun-Chien
April 30, 2025 22:53 10m 47s interpolation-sequence-mc
interpolation-sequence-mc
April 30, 2025 22:53 10m 47s
Fix Python environment CI #653: Commit cebdbbf pushed by CyanoKobalamyne
April 30, 2025 22:16 10m 22s smt-swictch-update-test
smt-swictch-update-test
April 30, 2025 22:16 10m 22s
Install packaging Python dep in CI CI #652: Commit a516b77 pushed by CyanoKobalamyne
April 30, 2025 17:57 8m 53s smt-swictch-update-test
smt-swictch-update-test
April 30, 2025 17:57 8m 53s
Update smt-switch CI #651: Commit ebcdc45 pushed by CyanoKobalamyne
April 30, 2025 17:00 9m 20s smt-swictch-update-test
smt-swictch-update-test
April 30, 2025 17:00 9m 20s
Add a test case to see if a 1-bit state can be initialized by bool CI #650: Commit f386785 pushed by Po-Chun-Chien
April 30, 2025 05:47 10m 16s handle-bool-init-state
handle-bool-init-state
April 30, 2025 05:47 10m 16s
Clean up preprocessor directives and try-catch related to MathSAT (#395) CI #649: Commit 67aace1 pushed by Po-Chun-Chien
April 30, 2025 03:43 12m 46s main
main
April 30, 2025 03:43 12m 46s
Add a debugging method to check validity of interpolation sequence CI #648: Commit c14daa6 pushed by Po-Chun-Chien
April 29, 2025 21:58 11m 24s interpolation-sequence-mc
interpolation-sequence-mc
April 29, 2025 21:58 11m 24s
Add --justice-translator option` CI #647: Commit 0c6cff0 pushed by CyanoKobalamyne
April 28, 2025 18:49 12m 26s liveness
liveness
April 28, 2025 18:49 12m 26s
Rerun BMC check even if interpolation fails CI #646: Commit 385c276 pushed by Po-Chun-Chien
April 27, 2025 02:06 15m 30s interpolation-sequence-mc
interpolation-sequence-mc
April 27, 2025 02:06 15m 30s
Rerun BMC check even if interpolation fails CI #645: Commit b4292d1 pushed by Po-Chun-Chien
April 27, 2025 02:05 52s interpolation-sequence-mc
interpolation-sequence-mc
April 27, 2025 02:05 52s
Add --justice-translator option` CI #644: Commit 2290769 pushed by CyanoKobalamyne
April 25, 2025 00:31 11m 18s liveness
liveness
April 25, 2025 00:31 11m 18s
0