Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,029 workflow runs
1,029 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Export hidden functions LeanAuto CI #417: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:09 6m 8s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:09 6m 8s
Export hidden functions Boogie CI #1918: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:09 6m 53s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:09 6m 53s
Export hidden functions LeanAuto CI #416: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:08 6m 27s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:08 6m 27s
Export hidden functions Boogie CI #1917: Pull request #989 synchronize by keyboardDrummer
November 22, 2024 15:08 6m 33s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:08 6m 33s
Export hidden functions LeanAuto CI #415: Pull request #989 opened by keyboardDrummer
November 22, 2024 15:07 6m 56s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:07 6m 56s
Export hidden functions Boogie CI #1916: Pull request #989 opened by keyboardDrummer
November 22, 2024 15:07 6m 39s keyboardDrummer:exportHiddenFunctions
keyboardDrummer:exportHiddenFunctions
November 22, 2024 15:07 6m 39s
[Civl] Cache coherence protocol Boogie CI #1915: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:45 6m 58s coherence-proof
coherence-proof
November 22, 2024 14:45 6m 58s
[Civl] Cache coherence protocol LeanAuto CI #414: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:45 6m 1s coherence-proof
coherence-proof
November 22, 2024 14:45 6m 1s
[Civl] Cache coherence protocol Boogie CI #1914: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:37 6m 6s coherence-proof
coherence-proof
November 22, 2024 14:37 6m 6s
[Civl] Cache coherence protocol LeanAuto CI #413: Pull request #988 synchronize by shazqadeer
November 22, 2024 14:37 6m 8s coherence-proof
coherence-proof
November 22, 2024 14:37 6m 8s
[Civl] Cache coherence protocol LeanAuto CI #412: Pull request #988 opened by shazqadeer
November 22, 2024 03:21 5m 56s coherence-proof
coherence-proof
November 22, 2024 03:21 5m 56s
[Civl] Cache coherence protocol Boogie CI #1913: Pull request #988 opened by shazqadeer
November 22, 2024 03:21 5m 37s coherence-proof
coherence-proof
November 22, 2024 03:21 5m 37s
[Civl] Turn modset analysis on Boogie CI #1912: Pull request #987 opened by shazqadeer
November 21, 2024 20:04 5m 44s modset-analysis-on
modset-analysis-on
November 21, 2024 20:04 5m 44s
[Civl] Turn modset analysis on LeanAuto CI #411: Pull request #987 opened by shazqadeer
November 21, 2024 20:04 6m 13s modset-analysis-on
modset-analysis-on
November 21, 2024 20:04 6m 13s
Convert TypecheckingContext.CheckModifies to a property Boogie CI #1911: Pull request #986 opened by shazqadeer
November 17, 2024 21:37 5m 56s fix-check-modifies
fix-check-modifies
November 17, 2024 21:37 5m 56s
Convert TypecheckingContext.CheckModifies to a property LeanAuto CI #410: Pull request #986 opened by shazqadeer
November 17, 2024 21:37 5m 46s fix-check-modifies
fix-check-modifies
November 17, 2024 21:37 5m 46s
[Civl] remove unnecessary modifies in a sample LeanAuto CI #409: Pull request #985 opened by shazqadeer
November 17, 2024 17:20 6m 14s minor-fix
minor-fix
November 17, 2024 17:20 6m 14s
[Civl] remove unnecessary modifies in a sample Boogie CI #1910: Pull request #985 opened by shazqadeer
November 17, 2024 17:20 5m 49s minor-fix
minor-fix
November 17, 2024 17:20 5m 49s
[Civl] Add snapshot with parallel scans LeanAuto CI #408: Pull request #984 synchronize by shazqadeer
November 14, 2024 19:44 6m 8s add-par-snapshot
add-par-snapshot
November 14, 2024 19:44 6m 8s
[Civl] Add snapshot with parallel scans Boogie CI #1909: Pull request #984 synchronize by shazqadeer
November 14, 2024 19:44 6m 8s add-par-snapshot
add-par-snapshot
November 14, 2024 19:44 6m 8s
[Civl] Add snapshot with parallel scans Boogie CI #1908: Pull request #984 opened by shazqadeer
November 14, 2024 18:35 5m 52s add-par-snapshot
add-par-snapshot
November 14, 2024 18:35 5m 52s
[Civl] Add snapshot with parallel scans LeanAuto CI #407: Pull request #984 opened by shazqadeer
November 14, 2024 18:35 6m 20s add-par-snapshot
add-par-snapshot
November 14, 2024 18:35 6m 20s
Provide more flexibility in configuring which return statements get s… Boogie CI #1907: Commit 6450474 pushed by keyboardDrummer
November 14, 2024 13:34 6m 16s v3.4.2
v3.4.2
November 14, 2024 13:34 6m 16s
Provide more flexibility in configuring which return statements get s… LeanAuto CI #406: Commit 6450474 pushed by keyboardDrummer
November 14, 2024 13:34 5m 45s v3.4.2
v3.4.2
November 14, 2024 13:34 5m 45s
Support multi-binding var expressions in Lean backend LeanAuto CI #405: Pull request #983 synchronize by atomb
November 13, 2024 22:26 6m 13s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
November 13, 2024 22:26 6m 13s