Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: stanford-centaur/pono

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
843 workflow runs
843 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Collect interpolation stats in engines interp, ismc, and dar (#477) CI #1117: Commit 08420ea pushed by CyanoKobalamyne
2h 59m 15s main
main
2h 59m 15s
Add newline to minimize diff CI #1116: Commit 615478e pushed by CyanoKobalamyne
2h 15m 58s interp-stats
interp-stats
2h 15m 58s
Promote inputs in prop (#476) Docker #86: Commit 25f3122 pushed by CyanoKobalamyne
19m 20s main
main
19m 20s
Promote inputs in prop (#476) CI #1115: Commit 25f3122 pushed by CyanoKobalamyne
2h 2m 29s main
main
2h 2m 29s
Merge branch 'main' into soundly-add-monitor CI #1114: Commit 944fa45 pushed by CyanoKobalamyne
1h 46m 27s soundly-add-monitor
soundly-add-monitor
1h 46m 27s
Fix Relational Transition Systems soundness bugs (#474) Docker #85: Commit abb1a61 pushed by CyanoKobalamyne
17m 57s main
main
17m 57s
Fix Relational Transition Systems soundness bugs (#474) CI #1113: Commit abb1a61 pushed by CyanoKobalamyne
58m 35s main
main
58m 35s
Merge branch 'main' into check-trans-total CI #1112: Commit 9505ba3 pushed by CyanoKobalamyne
39m 48s check-trans-total
check-trans-total
39m 48s
Fix base case when --kind-one-time-base-check is enabled (#469) CI #1111: Commit a53ab28 pushed by CyanoKobalamyne
22m 22s main
main
22m 22s
Fix base case when --kind-one-time-base-check is enabled (#469) Docker #84: Commit a53ab28 pushed by CyanoKobalamyne
18m 19s main
main
18m 19s
Update MathSAT to 5.6.11 CI #1110: Commit 41fe2ca pushed by CyanoKobalamyne
1h 33m 21s mathsat-5.6.11
mathsat-5.6.11
1h 33m 21s
Update MathSAT to 5.6.10 CI #1109: Commit 6c2af22 pushed by CyanoKobalamyne
1h 30m 12s mathsat-5.6.10
mathsat-5.6.10
1h 30m 12s
Update MathSAT to 5.6.12 CI #1108: Commit 6317332 pushed by CyanoKobalamyne
57m 25s mathsat-5.6.12
mathsat-5.6.12
57m 25s
Update MathSAT to 5.6.9 CI #1107: Commit 7b73388 pushed by CyanoKobalamyne
1h 33m 43s mathsat-5.6.9
mathsat-5.6.9
1h 33m 43s
Update MathSAT to 5.6.8 CI #1106: Commit a366c34 pushed by CyanoKobalamyne
1h 23m 26s mathsat-5.6.8
mathsat-5.6.8
1h 23m 26s
Update MathSAT to 5.6.7 CI #1105: Commit 638b23a pushed by CyanoKobalamyne
1h 4m 51s mathsat-5.6.7
mathsat-5.6.7
1h 4m 51s
Update MathSAT to 5.6.6 CI #1104: Commit 1ef4d1d pushed by CyanoKobalamyne
37m 21s mathsat-5.6.6
mathsat-5.6.6
37m 21s
Update MathSAT to 5.6.5 CI #1103: Commit 186ce8c pushed by CyanoKobalamyne
22m 20s mathsat-5.6.5
mathsat-5.6.5
22m 20s
Merge branch 'main' into bzla-interpolation CI #1102: Commit eba8f34 pushed by Po-Chun-Chien
21m 26s bzla-interpolation
bzla-interpolation
21m 26s
Refactor control flow for logging overall interpolation stats CI #1101: Commit 006844a pushed by Po-Chun-Chien
21m 58s interp-stats
interp-stats
21m 58s
Collect interpolation stats in engines interp, ismc, and dar CI #1100: Commit 91989c5 pushed by Po-Chun-Chien
22m 52s interp-stats
interp-stats
22m 52s
Rename variables CI #1099: Commit 80c6c55 pushed by Po-Chun-Chien
22m 57s k-liveness
k-liveness
22m 57s
Fix an assertion CI #1098: Commit e963d82 pushed by Po-Chun-Chien
22m 46s k-liveness
k-liveness
22m 46s
Merge branch 'main' into check-trans-total CI #1097: Commit 9505ba3 pushed by Po-Chun-Chien
22m 24s check-trans-total
check-trans-total
22m 24s
Add options to toggle checking for lasso CI #1096: Commit 140ab8f pushed by Po-Chun-Chien
22m 2s k-liveness
k-liveness
22m 2s