Skip to content

Actions: oralang/ora

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
797 workflow runs
797 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fail closed degraded verifier queries CI #468: Commit 133d1ab pushed by ngmachado
2h 54m 31s main
main
2h 54m 31s
Fail closed swapped-compare decrement while results CI #467: Commit 3212e58 pushed by ngmachado
2h 16m 45s main
main
2h 16m 45s
Cover switch-return struct SMT exactness CI #466: Commit 634f5c0 pushed by ngmachado
14m 25s main
main
14m 25s
Release Release #312: Scheduled
2h 3m 26s main
main
2h 3m 26s
CI CI #465: Scheduled
5m 9s main
main
5m 9s
LSP Folding and more fixes CI #464: Commit 08e2a1e pushed by ngmachado
5m 7s main
main
5m 7s
Better counterexamples format CI #463: Commit 0678303 pushed by ngmachado
2h 6m 53s main
main
2h 6m 53s
Release Release #311: Scheduled
2h 5m 15s main
main
2h 5m 15s
CI CI #462: Scheduled
2h 2m 29s main
main
2h 2m 29s
Fix remaining Z3 verifier and encoder regressions CI #461: Commit acd7bb4 pushed by ngmachado
2h 2m 37s main
main
2h 2m 37s
SMT Guard docs update CI #460: Commit 9122425 pushed by ngmachado
2h 4m 48s main
main
2h 4m 48s
Finish guard tooling coverage CI #459: Commit a2804f6 pushed by ngmachado
4m 25s main
main
4m 25s
Add SMT regression for struct-return summaries CI #458: Commit 122db6b pushed by ngmachado
5m 25s main
main
5m 25s
Track indexed local memrefs exactly in SMT CI #457: Commit 8f4aff4 pushed by ngmachado
5m 14s main
main
5m 14s
Summarize exact loop results in SMT try values CI #456: Commit 558dda7 pushed by ngmachado
5m 35s main
main
5m 35s
CI CI #455: by ngmachado
7m 16s main
main
7m 16s
update doc CI #454: Commit b66ca70 pushed by ngmachado
5m 0s main
main
5m 0s
Release Release #310: Scheduled
2h 6m 17s main
main
2h 6m 17s
CI CI #453: Scheduled
6m 0s main
main
6m 0s
Fix while loop invariant verification CI #452: Commit 16422c8 pushed by ngmachado
2h 9m 17s main
main
2h 9m 17s
Release Release #309: Scheduled
1h 51m 47s main
main
1h 51m 47s
CI CI #451: Scheduled
5m 31s main
main
5m 31s
Remove Doc debug flag CI #450: Commit 2ca2cd9 pushed by ngmachado
2h 5m 18s main
main
2h 5m 18s
More docs updates CI #449: Commit 87638cf pushed by ngmachado
2h 6m 9s main
main
2h 6m 9s
Update book links CI #448: Commit 3b536e0 pushed by ngmachado
2h 6m 54s main
main
2h 6m 54s