Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Civl] Cache coherence protocol Boogie CI #1914: Pull request #988 synchronize by shazqadeer
6m 6s coherence-proof
coherence-proof
6m 6s
[Civl] Cache coherence protocol LeanAuto CI #413: Pull request #988 synchronize by shazqadeer
6m 8s coherence-proof
coherence-proof
6m 8s
[Civl] Cache coherence protocol LeanAuto CI #412: Pull request #988 opened by shazqadeer
5m 56s coherence-proof
coherence-proof
5m 56s
[Civl] Cache coherence protocol Boogie CI #1913: Pull request #988 opened by shazqadeer
5m 37s coherence-proof
coherence-proof
5m 37s
[Civl] Turn modset analysis on Boogie CI #1912: Pull request #987 opened by shazqadeer
5m 44s modset-analysis-on
modset-analysis-on
5m 44s
[Civl] Turn modset analysis on LeanAuto CI #411: Pull request #987 opened by shazqadeer
6m 13s modset-analysis-on
modset-analysis-on
6m 13s
Convert TypecheckingContext.CheckModifies to a property Boogie CI #1911: Pull request #986 opened by shazqadeer
5m 56s fix-check-modifies
fix-check-modifies
5m 56s
Convert TypecheckingContext.CheckModifies to a property LeanAuto CI #410: Pull request #986 opened by shazqadeer
5m 46s fix-check-modifies
fix-check-modifies
5m 46s
[Civl] remove unnecessary modifies in a sample LeanAuto CI #409: Pull request #985 opened by shazqadeer
6m 14s minor-fix
minor-fix
6m 14s
[Civl] remove unnecessary modifies in a sample Boogie CI #1910: Pull request #985 opened by shazqadeer
5m 49s minor-fix
minor-fix
5m 49s
[Civl] Add snapshot with parallel scans LeanAuto CI #408: Pull request #984 synchronize by shazqadeer
6m 8s add-par-snapshot
add-par-snapshot
6m 8s
[Civl] Add snapshot with parallel scans Boogie CI #1909: Pull request #984 synchronize by shazqadeer
6m 8s add-par-snapshot
add-par-snapshot
6m 8s
[Civl] Add snapshot with parallel scans Boogie CI #1908: Pull request #984 opened by shazqadeer
5m 52s add-par-snapshot
add-par-snapshot
5m 52s
[Civl] Add snapshot with parallel scans LeanAuto CI #407: Pull request #984 opened by shazqadeer
6m 20s add-par-snapshot
add-par-snapshot
6m 20s
Provide more flexibility in configuring which return statements get s… Boogie CI #1907: Commit 6450474 pushed by keyboardDrummer
6m 16s v3.4.2
v3.4.2
6m 16s
Provide more flexibility in configuring which return statements get s… LeanAuto CI #406: Commit 6450474 pushed by keyboardDrummer
5m 45s v3.4.2
v3.4.2
5m 45s
Support multi-binding var expressions in Lean backend LeanAuto CI #405: Pull request #983 synchronize by atomb
6m 13s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
6m 13s
Support multi-binding var expressions in Lean backend Boogie CI #1906: Pull request #983 synchronize by atomb
5m 57s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
5m 57s
Support multi-binding var expressions in Lean backend Boogie CI #1905: Pull request #983 opened by atomb
5m 24s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
5m 24s
Support multi-binding var expressions in Lean backend LeanAuto CI #404: Pull request #983 opened by atomb
6m 8s atomb:lean-multi-let-expr
atomb:lean-multi-let-expr
6m 8s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions LeanAuto CI #403: Pull request #979 synchronize by keyboardDrummer
5m 48s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
5m 48s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions Boogie CI #1904: Pull request #979 synchronize by keyboardDrummer
6m 3s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
6m 3s
Inline call [Stylistic Refactoring] Boogie CI #1903: Pull request #982 synchronize by typerSniper
8m 5s typerSniper:inline-call
typerSniper:inline-call
8m 5s
Inline call [Stylistic Refactoring] LeanAuto CI #402: Pull request #982 synchronize by typerSniper
7m 28s typerSniper:inline-call
typerSniper:inline-call
7m 28s
Provide more flexibility in configuring which return statements get separate VCs with isolate_assertions LeanAuto CI #401: Pull request #979 synchronize by keyboardDrummer
5m 52s keyboardDrummer:tokenFixJumpsHandler
keyboardDrummer:tokenFixJumpsHandler
5m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-11-11 or the other filters available.