Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
446 workflow runs
446 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[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] 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] 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 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] 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] 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 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] 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] 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 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
[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
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
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
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 Boogie CI #1551: Pull request #878 synchronize by NamrathaG
April 27, 2024 23:07 6m 2s snapshot
snapshot
April 27, 2024 23:07 6m 2s
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
Added sample for snaphot LeanAuto CI #49: Pull request #878 synchronize by NamrathaG
April 26, 2024 16:54 5m 7s snapshot
snapshot
April 26, 2024 16:54 5m 7s