Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,742 workflow runs
2,742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Translate datatypes to SMT via declare-datatype Build #1294: Pull request #251 synchronize by joscoh
12m 30s josh/declare-datatype
josh/declare-datatype
12m 30s
PR #251 CodeQL #1286: by joscoh
1m 35s refs/pull/251/head
refs/pull/251/head
1m 35s
Add a translator from SMT.Term to SMTDDM.Term Build #1293: Pull request #177 synchronize by aqjune-aws
13m 21s jlee/smt2
jlee/smt2
13m 21s
PR #177 CodeQL #1285: by aqjune-aws
1m 55s refs/pull/177/head
refs/pull/177/head
1m 55s
Update codeowners Build #1292: Pull request #303 synchronize by joscoh
18m 14s codeowners
codeowners
18m 14s
PR #303 CodeQL #1284: by joscoh
1m 40s refs/pull/303/head
refs/pull/303/head
1m 40s
Update codeowners Build #1291: Pull request #303 opened by joscoh
17m 29s codeowners
codeowners
17m 29s
PR #303 CodeQL #1283: by joscoh
1m 40s refs/pull/303/head
refs/pull/303/head
1m 40s
Push on main CodeQL #1282: by github-merge-queue bot
1m 33s main
main
1m 33s
Fix CallElimCorrect proof Build #1290: Pull request #264 synchronize by aqjune-aws
16m 36s thanhnguyen-aws:fixcallelim
thanhnguyen-aws:fixcallelim
16m 36s
Fix issue #297 and #268, make proc inlining visit subblocks Build #1289: Pull request #302 synchronize by aqjune-aws
10m 29s jlee/issue-297-and-268
jlee/issue-297-and-268
10m 29s
PR #302 CodeQL #1281: by aqjune-aws
1m 34s refs/pull/302/head
refs/pull/302/head
1m 34s
Add a translator from SMT.Term to SMTDDM.Term Build #1288: Pull request #177 synchronize by aqjune-aws
13m 55s jlee/smt2
jlee/smt2
13m 55s
PR #177 CodeQL #1280: by aqjune-aws
1m 37s refs/pull/177/head
refs/pull/177/head
1m 37s
Fix issue #297 and #268, make proc inlining visit subblocks Build #1287: Pull request #302 opened by aqjune-aws
14m 6s jlee/issue-297-and-268
jlee/issue-297-and-268
14m 6s
PR #302 CodeQL #1279: by aqjune-aws
1m 37s refs/pull/302/head
refs/pull/302/head
1m 37s
Add a translator from SMT.Term to SMTDDM.Term Build #1286: Pull request #177 synchronize by aqjune-aws
13m 20s jlee/smt2
jlee/smt2
13m 20s
PR #177 CodeQL #1278: by aqjune-aws
1m 54s refs/pull/177/head
refs/pull/177/head
1m 54s
Modes for controlling irrelevant axiom removal Build #1285: Pull request #301 synchronize by shigoel
14m 15s shilpi/irrelevant-ax-fix
shilpi/irrelevant-ax-fix
14m 15s
PR #301 CodeQL #1277: by shigoel
1m 40s refs/pull/301/head
refs/pull/301/head
1m 40s
Add a translator from SMT.Term to SMTDDM.Term Build #1284: Pull request #177 synchronize by aqjune-aws
14m 12s jlee/smt2
jlee/smt2
14m 12s
PR #177 CodeQL #1276: by aqjune-aws
1m 46s refs/pull/177/head
refs/pull/177/head
1m 46s
Expand Laurel implementation, so that tests T2 (impure expressions) and T3 (dag control flow) pass as well Build #1283: Pull request #294 synchronize by keyboardDrummer
13m 18s keyboardDrummer:laurelMoreStmtExpr
keyboardDrummer:laurelMoreStmtExpr
13m 18s
Expand Laurel implementation, so that tests T2 (impure expressions) and T3 (dag control flow) pass as well Build #1282: Pull request #294 synchronize by keyboardDrummer
9m 35s keyboardDrummer:laurelMoreStmtExpr
keyboardDrummer:laurelMoreStmtExpr
9m 35s
Expand Laurel implementation, so that tests T2 (impure expressions) and T3 (dag control flow) pass as well Build #1281: Pull request #294 synchronize by keyboardDrummer
13m 45s keyboardDrummer:laurelMoreStmtExpr
keyboardDrummer:laurelMoreStmtExpr
13m 45s