Skip to content

Actions: asymptotic-code/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
big boogie chash trace inconclusive type (check_is_fix_coin_a_spec) LeanAuto CI #9: Pull request #4 opened by andrii-a8c
6m 14s crash-fix
crash-fix
6m 14s
big boogie chash trace inconclusive type (check_is_fix_coin_a_spec) Boogie CI #9: Pull request #4 opened by andrii-a8c
4m 54s crash-fix
crash-fix
4m 54s
Extend pool-based quantifier instantiation to axioms; add diagnostic … LeanAuto CI #8: Pull request #3 synchronize by andreistefanescu
7m 50s pool-qi-improvements
pool-qi-improvements
7m 50s
Extend pool-based quantifier instantiation to axioms; add diagnostic … Boogie CI #8: Pull request #3 synchronize by andreistefanescu
8m 22s pool-qi-improvements
pool-qi-improvements
8m 22s
Extend pool-based quantifier instantiation to axioms; add diagnostic … LeanAuto CI #7: Pull request #3 synchronize by andreistefanescu
8m 1s pool-qi-improvements
pool-qi-improvements
8m 1s
Extend pool-based quantifier instantiation to axioms; add diagnostic … Boogie CI #7: Pull request #3 synchronize by andreistefanescu
7m 3s pool-qi-improvements
pool-qi-improvements
7m 3s
Extend pool-based quantifier instantiation to axioms; add diagnostic … LeanAuto CI #6: Pull request #3 opened by andreistefanescu
7m 57s pool-qi-improvements
pool-qi-improvements
7m 57s
Extend pool-based quantifier instantiation to axioms; add diagnostic … Boogie CI #6: Pull request #3 opened by andreistefanescu
8m 42s pool-qi-improvements
pool-qi-improvements
8m 42s
More fixes Boogie CI #5: Pull request #2 opened by andrii-a8c
8m 36s more-boogie-fails-fix
more-boogie-fails-fix
8m 36s
More fixes LeanAuto CI #5: Pull request #2 opened by andrii-a8c
6m 14s more-boogie-fails-fix
more-boogie-fails-fix
6m 14s
fixed crash issues Boogie CI #4: Pull request #1 synchronize by andrii-a8c
8m 35s issues-fix
issues-fix
8m 35s
fixed crash issues LeanAuto CI #4: Pull request #1 synchronize by andrii-a8c
7m 12s issues-fix
issues-fix
7m 12s
fixed crash issues LeanAuto CI #3: Pull request #1 synchronize by andrii-a8c
7m 32s issues-fix
issues-fix
7m 32s
fixed crash issues Boogie CI #3: Pull request #1 synchronize by andrii-a8c
21m 37s issues-fix
issues-fix
21m 37s
fixed crash issues Boogie CI #2: Pull request #1 synchronize by andrii-a8c
11m 34s issues-fix
issues-fix
11m 34s
fixed crash issues LeanAuto CI #2: Pull request #1 synchronize by andrii-a8c
7m 44s issues-fix
issues-fix
7m 44s
fixed crash issues LeanAuto CI #1: Pull request #1 opened by andrii-a8c
8m 16s issues-fix
issues-fix
8m 16s
fixed crash issues Boogie CI #1: Pull request #1 opened by andrii-a8c
6m 29s issues-fix
issues-fix
6m 29s