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] 2-process Peterson's mutual exclusion LeanAuto CI #554: Pull request #1068 opened by shazqadeer
6m 21s add-peterson
add-peterson
6m 21s
[Civl] Fix issue 1061 LeanAuto CI #553: Pull request #1065 synchronize by shazqadeer
6m 0s issue-1061
issue-1061
6m 0s
[Civl] Fix issue 1061 Boogie CI #2054: Pull request #1065 synchronize by shazqadeer
5m 40s issue-1061
issue-1061
5m 40s
[Civl] Fix issue 1061 LeanAuto CI #552: Pull request #1065 opened by shazqadeer
6m 3s issue-1061
issue-1061
6m 3s
[Civl] Fix issue 1061 Boogie CI #2053: Pull request #1065 opened by shazqadeer
4m 41s issue-1061
issue-1061
4m 41s
fix: Printing Add and Mul with non-associative types LeanAuto CI #551: Pull request #1057 synchronize by fabiomadge
29m 23s fix_add_mul_assoc_print
fix_add_mul_assoc_print
29m 23s
fix: Printing Add and Mul with non-associative types Boogie CI #2052: Pull request #1057 synchronize by fabiomadge
4m 54s fix_add_mul_assoc_print
fix_add_mul_assoc_print
4m 54s
[Civl]add vc splitting directly on procedures LeanAuto CI #550: Pull request #1060 opened by shazqadeer
6m 5s vcs_split_adjust
vcs_split_adjust
6m 5s
[Civl]add vc splitting directly on procedures Boogie CI #2051: Pull request #1060 opened by shazqadeer
4m 56s vcs_split_adjust
vcs_split_adjust
4m 56s
Move ParseLibrary to ExecutionEngine.cs and add error checking Boogie CI #2050: Pull request #1059 opened by shazqadeer
5m 25s parse-library-fix
parse-library-fix
5m 25s
Move ParseLibrary to ExecutionEngine.cs and add error checking LeanAuto CI #549: Pull request #1059 opened by shazqadeer
5m 54s parse-library-fix
parse-library-fix
5m 54s
[Civl] Set size refactor LeanAuto CI #548: Pull request #1058 opened by shazqadeer
5m 58s set-size-refactor
set-size-refactor
5m 58s
[Civl] Set size refactor Boogie CI #2049: Pull request #1058 opened by shazqadeer
5m 14s set-size-refactor
set-size-refactor
5m 14s
fix: Printing Add and Mul with non-associative types LeanAuto CI #547: Pull request #1057 synchronize by fabiomadge
5m 52s fix_add_mul_assoc_print
fix_add_mul_assoc_print
5m 52s
fix: Printing Add and Mul with non-associative types Boogie CI #2048: Pull request #1057 synchronize by fabiomadge
5m 4s fix_add_mul_assoc_print
fix_add_mul_assoc_print
5m 4s
fix: Printing Add and Mul with non-associative types LeanAuto CI #546: Pull request #1057 opened by fabiomadge
6m 2s fix_add_mul_assoc_print
fix_add_mul_assoc_print
6m 2s
fix: Printing Add and Mul with non-associative types Boogie CI #2047: Pull request #1057 opened by fabiomadge
5m 0s fix_add_mul_assoc_print
fix_add_mul_assoc_print
5m 0s
[Civl] eliminated extra assumptions being generated for commutativity checking in IS Boogie CI #2046: Pull request #1055 opened by shazqadeer
5m 12s is-cleanup-2
is-cleanup-2
5m 12s
[Civl] eliminated extra assumptions being generated for commutativity checking in IS LeanAuto CI #545: Pull request #1055 opened by shazqadeer
6m 5s is-cleanup-2
is-cleanup-2
6m 5s
[Civl] updated proof of Paxos LeanAuto CI #544: Pull request #1054 opened by shazqadeer
6m 1s paxos-v2
paxos-v2
6m 1s
[Civl] updated proof of Paxos Boogie CI #2045: Pull request #1054 opened by shazqadeer
5m 13s paxos-v2
paxos-v2
5m 13s
[Civl] added error message for action preconditions LeanAuto CI #543: Pull request #1053 synchronize by shazqadeer
6m 5s action-pre-error
action-pre-error
6m 5s
[Civl] added error message for action preconditions Boogie CI #2044: Pull request #1053 synchronize by shazqadeer
5m 9s action-pre-error
action-pre-error
5m 9s
[Civl] added error message for action preconditions Boogie CI #2043: Pull request #1053 opened by shazqadeer
5m 30s action-pre-error
action-pre-error
5m 30s
[Civl] added error message for action preconditions LeanAuto CI #542: Pull request #1053 opened by shazqadeer
6m 3s action-pre-error
action-pre-error
6m 3s