Skip to content

Actions: stanford-centaur/pono

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
576 workflow runs
576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Log the SMT solver and interpolator being used (#437) CI #846: Commit af6dda8 pushed by Po-Chun-Chien
August 1, 2025 01:57 19m 59s main
main
August 1, 2025 01:57 19m 59s
Add a missing comma CI #845: Commit 3b5bdb8 pushed by Po-Chun-Chien
July 31, 2025 04:36 20m 21s dual-approx-reachability
dual-approx-reachability
July 31, 2025 04:36 20m 21s
Log the SMT solver and interpolator being used CI #844: Commit 3467795 pushed by Po-Chun-Chien
July 31, 2025 01:34 19m 48s log-used-smt-solver
log-used-smt-solver
July 31, 2025 01:34 19m 48s
Unroll formulas at step 0 of ISMC (#433) CI #843: Commit 016f83a pushed by Po-Chun-Chien
July 31, 2025 00:59 20m 47s main
main
July 31, 2025 00:59 20m 47s
Improve log message CI #842: Commit 8d746d2 pushed by Po-Chun-Chien
July 31, 2025 00:01 25m 3s dual-approx-reachability
dual-approx-reachability
July 31, 2025 00:01 25m 3s
Improve comment CI #841: Commit 70424c5 pushed by Po-Chun-Chien
July 31, 2025 00:00 21m 13s fix-ismc-witness
fix-ismc-witness
July 31, 2025 00:00 21m 13s
Abort witness computation if solver cannot be reset CI #840: Commit bd04a53 pushed by Po-Chun-Chien
July 30, 2025 23:59 19m 30s fix-ic3ia-witness
fix-ic3ia-witness
July 30, 2025 23:59 19m 30s
Let prover compute witness itself if no abstraction is used CI #839: Commit 0db6dc8 pushed by Po-Chun-Chien
July 30, 2025 18:26 21m 13s ceg-bv-arith-witness
ceg-bv-arith-witness
July 30, 2025 18:26 21m 13s
Add some documentation CI #838: Commit f00e225 pushed by Po-Chun-Chien
July 30, 2025 17:04 20m 31s ceg-bv-arith-witness
ceg-bv-arith-witness
July 30, 2025 17:04 20m 31s
Export witness for CEGAR BV-Arith engine CI #837: Commit 1196871 pushed by Po-Chun-Chien
July 30, 2025 06:33 20m 27s ceg-bv-arith-witness
ceg-bv-arith-witness
July 30, 2025 06:33 20m 27s
Disable compute_witness in CEGAR class (#435) CI #836: Commit 85ed590 pushed by Po-Chun-Chien
July 30, 2025 01:37 19m 30s main
main
July 30, 2025 01:37 19m 30s
Skip lambda axioms if index sort has a finite domain CI #835: Commit 8527afd pushed by Po-Chun-Chien
July 30, 2025 01:03 19m 9s cegp-bv
cegp-bv
July 30, 2025 01:03 19m 9s
Skip lambda axioms if index sort has a finite domain CI #834: Commit 2f9aa81 pushed by Po-Chun-Chien
July 30, 2025 00:40 21m 16s cegp-bv
cegp-bv
July 30, 2025 00:40 21m 16s
Disable compute_witness in CEGAR class CI #833: Commit b360c73 pushed by Po-Chun-Chien
July 30, 2025 00:28 19m 30s override-compute-witness-in-cegar
override-compute-witness-in-cegar
July 30, 2025 00:28 19m 30s
Abstract bit-vector arithmetic using free state symbols (#428) CI #832: Commit 64f233a pushed by Po-Chun-Chien
July 29, 2025 04:36 19m 14s main
main
July 29, 2025 04:36 19m 14s
Improve help message CI #831: Commit bab13dd pushed by Po-Chun-Chien
July 28, 2025 23:54 19m 57s ceg-bv-arith-as-free-symbol
ceg-bv-arith-as-free-symbol
July 28, 2025 23:54 19m 57s
Set default arg in OpsAbstractor CI #830: Commit d711058 pushed by Po-Chun-Chien
July 28, 2025 23:52 19m 36s ceg-bv-arith-as-free-symbol
ceg-bv-arith-as-free-symbol
July 28, 2025 23:52 19m 36s
Improve log message CI #829: Commit 589253b pushed by Po-Chun-Chien
July 28, 2025 08:14 21m 19s dual-approx-reachability
dual-approx-reachability
July 28, 2025 08:14 21m 19s
Fix indices, refactor, and add some notes CI #828: Commit b80e42e pushed by Po-Chun-Chien
July 27, 2025 04:45 19m 32s dual-approx-reachability
dual-approx-reachability
July 27, 2025 04:45 19m 32s
Minor refactoring CI #827: Commit 58d2317 pushed by Po-Chun-Chien
July 26, 2025 23:26 20m 6s dual-approx-reachability
dual-approx-reachability
July 26, 2025 23:26 20m 6s
Add unit tests for DAR CI #826: Commit e118920 pushed by Po-Chun-Chien
July 26, 2025 21:34 19m 22s dual-approx-reachability
dual-approx-reachability
July 26, 2025 21:34 19m 22s
Store fixed point found by DAR CI #825: Commit 94af0e1 pushed by Po-Chun-Chien
July 26, 2025 21:34 19m 34s dual-approx-reachability
dual-approx-reachability
July 26, 2025 21:34 19m 34s
Temporarily enable CEGP for BV index sort CI #824: Commit 25408ce pushed by Po-Chun-Chien
July 26, 2025 01:00 20m 3s cegp-bv
cegp-bv
July 26, 2025 01:00 20m 3s
Add tests for the new option CI #823: Commit 6785724 pushed by Po-Chun-Chien
July 24, 2025 02:23 20m 2s ceg-bv-arith-as-free-symbol
ceg-bv-arith-as-free-symbol
July 24, 2025 02:23 20m 2s
Improve comment CI #822: Commit 4288471 pushed by Po-Chun-Chien
July 22, 2025 21:45 20m 33s fix-ismc-witness
fix-ismc-witness
July 22, 2025 21:45 20m 33s