Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow run results
329 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

InductiveSequentialization2 proof rule Boogie CI #1563: Pull request #887 opened by NamrathaG
May 21, 2024 21:21 6m 3s IS2
IS2
May 21, 2024 21:21 6m 3s
InductiveSequentialization2 proof rule LeanAuto CI #62: Pull request #887 opened by NamrathaG
May 21, 2024 21:21 5m 5s IS2
IS2
May 21, 2024 21:21 5m 5s
[Civl] Fix signature of Fractions APIs LeanAuto CI #61: Pull request #886 opened by shazqadeer
May 17, 2024 01:16 5m 34s fix-frac-sig
fix-frac-sig
May 17, 2024 01:16 5m 34s
[Civl] Fix signature of Fractions APIs Boogie CI #1562: Pull request #886 opened by shazqadeer
May 17, 2024 01:16 6m 20s fix-frac-sig
fix-frac-sig
May 17, 2024 01:16 6m 20s
[Civl] Fixed treiber stack Boogie CI #1561: Pull request #885 synchronize by shazqadeer
May 14, 2024 02:40 7m 4s treiber-v2
treiber-v2
May 14, 2024 02:40 7m 4s
[Civl] Fixed treiber stack LeanAuto CI #60: Pull request #885 synchronize by shazqadeer
May 14, 2024 02:40 6m 53s treiber-v2
treiber-v2
May 14, 2024 02:40 6m 53s
[Civl] Fixed treiber stack LeanAuto CI #59: Pull request #885 opened by shazqadeer
May 14, 2024 02:30 5m 9s treiber-v2
treiber-v2
May 14, 2024 02:30 5m 9s
[Civl] Fixed treiber stack Boogie CI #1560: Pull request #885 opened by shazqadeer
May 14, 2024 02:30 7m 38s treiber-v2
treiber-v2
May 14, 2024 02:30 7m 38s
[Civl] refactored treiber stack LeanAuto CI #58: Pull request #884 synchronize by shazqadeer
May 12, 2024 04:34 5m 49s ts-refactor
ts-refactor
May 12, 2024 04:34 5m 49s
[Civl] refactored treiber stack Boogie CI #1559: Pull request #884 synchronize by shazqadeer
May 12, 2024 04:34 6m 26s ts-refactor
ts-refactor
May 12, 2024 04:34 6m 26s
[Civl] refactored treiber stack LeanAuto CI #57: Pull request #884 opened by shazqadeer
May 12, 2024 04:22 4m 58s ts-refactor
ts-refactor
May 12, 2024 04:22 4m 58s
[Civl] refactored treiber stack Boogie CI #1558: Pull request #884 opened by shazqadeer
May 12, 2024 04:22 5m 29s ts-refactor
ts-refactor
May 12, 2024 04:22 5m 29s
[Civl] small fixes to Treiber stack example LeanAuto CI #56: Pull request #883 opened by shazqadeer
May 5, 2024 22:53 5m 32s small-fixes
small-fixes
May 5, 2024 22:53 5m 32s
[Civl] small fixes to Treiber stack example Boogie CI #1557: Pull request #883 opened by shazqadeer
May 5, 2024 22:53 6m 8s small-fixes
small-fixes
May 5, 2024 22:53 6m 8s
[Civl] Add Cell type LeanAuto CI #55: Pull request #882 synchronize by shazqadeer
May 4, 2024 20:43 5m 8s add-cell
add-cell
May 4, 2024 20:43 5m 8s
[Civl] Add Cell type Boogie CI #1556: Pull request #882 synchronize by shazqadeer
May 4, 2024 20:43 6m 19s add-cell
add-cell
May 4, 2024 20:43 6m 19s
[Civl] Add Cell type LeanAuto CI #54: Pull request #882 opened by shazqadeer
May 4, 2024 20:32 5m 25s add-cell
add-cell
May 4, 2024 20:32 5m 25s
[Civl] Add Cell type Boogie CI #1555: Pull request #882 opened by shazqadeer
May 4, 2024 20:32 5m 30s add-cell
add-cell
May 4, 2024 20:32 5m 30s
IS1 test for prover died exception LeanAuto CI #53: Pull request #881 opened by NamrathaG
May 2, 2024 12:11 5m 22s rec-IS1
rec-IS1
May 2, 2024 12:11 5m 22s
IS1 test for prover died exception Boogie CI #1554: Pull request #881 opened by NamrathaG
May 2, 2024 12:11 6m 20s rec-IS1
rec-IS1
May 2, 2024 12:11 6m 20s
Naming bug in is-constructor LeanAuto CI #52: Pull request #880 opened by shazqadeer
April 30, 2024 23:07 5m 29s namer-fix
namer-fix
April 30, 2024 23:07 5m 29s
Naming bug in is-constructor Boogie CI #1553: Pull request #880 opened by shazqadeer
April 30, 2024 23:07 6m 30s namer-fix
namer-fix
April 30, 2024 23:07 6m 30s
Dynamic stack LeanAuto CI #51: Pull request #709 synchronize by keyboardDrummer
April 29, 2024 12:05 46s keyboardDrummer:dynamicStack
keyboardDrummer:dynamicStack
April 29, 2024 12:05 46s
Dynamic stack Boogie CI #1552: Pull request #709 synchronize by keyboardDrummer
April 29, 2024 12:05 1m 4s keyboardDrummer:dynamicStack
keyboardDrummer:dynamicStack
April 29, 2024 12:05 1m 4s
Added sample for snaphot LeanAuto CI #50: Pull request #878 synchronize by NamrathaG
April 27, 2024 23:07 5m 24s snapshot
snapshot
April 27, 2024 23:07 5m 24s