Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
560 workflow runs
560 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
github_actions in /. - Update #1598276809 Dependabot Updates #5: by dependabot Bot
54s master
master
54s
fix: No unguarded reverse casts in the arguments type encoding LeanAuto CI #819: Pull request #1169 opened by erniecohen
Action required erniecohen:fix/1168-guarded-casts
erniecohen:fix/1168-guarded-casts
Action required
fix: No unguarded reverse casts in the arguments type encoding Boogie CI #2320: Pull request #1169 opened by erniecohen
Action required erniecohen:fix/1168-guarded-casts
erniecohen:fix/1168-guarded-casts
Action required
github_actions in /. - Update #1587628919 Dependabot Updates #4: by dependabot Bot
59s master
master
59s
Document the contract of Boogie's float type LeanAuto CI #818: Pull request #1154 synchronize by fabiomadge
5m 57s fix/document-float-semantics
fix/document-float-semantics
5m 57s
Document the contract of Boogie's float type Boogie CI #2319: Pull request #1154 synchronize by fabiomadge
5m 26s fix/document-float-semantics
fix/document-float-semantics
5m 26s
Document the contract of Boogie's float type LeanAuto CI #817: Pull request #1154 synchronize by fabiomadge
3m 58s fix/document-float-semantics
fix/document-float-semantics
3m 58s
Document the contract of Boogie's float type Boogie CI #2318: Pull request #1154 synchronize by fabiomadge
5m 31s fix/document-float-semantics
fix/document-float-semantics
5m 31s
Document the contract of Boogie's float type LeanAuto CI #816: Pull request #1154 synchronize by fabiomadge
6m 45s fix/document-float-semantics
fix/document-float-semantics
6m 45s
Document the contract of Boogie's float type Boogie CI #2317: Pull request #1154 synchronize by fabiomadge
5m 52s fix/document-float-semantics
fix/document-float-semantics
5m 52s
fix: Unsound interval rules for *, div, mod, / and ** LeanAuto CI #815: Pull request #1159 synchronize by fabiomadge
9m 42s fix/interval-arithmetic-rules
fix/interval-arithmetic-rules
9m 42s
fix: Unsound interval rules for *, div, mod, / and ** Boogie CI #2316: Pull request #1159 synchronize by fabiomadge
9m 11s fix/interval-arithmetic-rules
fix/interval-arithmetic-rules
9m 11s
fix: {:builtin} accepts a definition, or a symbol Boogie emits itself LeanAuto CI #814: Pull request #1158 synchronize by fabiomadge
8m 55s fix/builtin-symbol-capture
fix/builtin-symbol-capture
8m 55s
fix: {:builtin} accepts a definition, or a symbol Boogie emits itself Boogie CI #2315: Pull request #1158 synchronize by fabiomadge
11m 8s fix/builtin-symbol-capture
fix/builtin-symbol-capture
11m 8s
fix: Abstract interpretation proves false assertions about floats Boogie CI #2314: Pull request #1157 synchronize by fabiomadge
4m 48s fix/interval-domain-no-floats
fix/interval-domain-no-floats
4m 48s
fix: Abstract interpretation proves false assertions about floats LeanAuto CI #813: Pull request #1157 synchronize by fabiomadge
5m 58s fix/interval-domain-no-floats
fix/interval-domain-no-floats
5m 58s
fix: !(x < y) is rewritten to y <= x even for floats Boogie CI #2313: Pull request #1156 synchronize by fabiomadge
7m 9s fix/negated-float-comparison
fix/negated-float-comparison
7m 9s
fix: !(x < y) is rewritten to y <= x even for floats LeanAuto CI #812: Pull request #1156 synchronize by fabiomadge
7m 21s fix/negated-float-comparison
fix/negated-float-comparison
7m 21s
fix: Crash in abstract interpretation on a bool measure LeanAuto CI #811: Pull request #1155 synchronize by fabiomadge
4m 45s fix/threshold-finder-null-type
fix/threshold-finder-null-type
4m 45s
fix: Crash in abstract interpretation on a bool measure Boogie CI #2312: Pull request #1155 synchronize by fabiomadge
8m 28s fix/threshold-finder-null-type
fix/threshold-finder-null-type
8m 28s
Document the contract of Boogie's float type LeanAuto CI #810: Pull request #1154 synchronize by fabiomadge
6m 20s fix/document-float-semantics
fix/document-float-semantics
6m 20s
Document the contract of Boogie's float type Boogie CI #2311: Pull request #1154 synchronize by fabiomadge
5m 58s fix/document-float-semantics
fix/document-float-semantics
5m 58s
Remove two declarations nothing can apply LeanAuto CI #809: Pull request #1167 opened by fabiomadge
6m 25s cleanup/unreachable-uordering
cleanup/unreachable-uordering
6m 25s
Remove two declarations nothing can apply Boogie CI #2310: Pull request #1167 opened by fabiomadge
5m 35s cleanup/unreachable-uordering
cleanup/unreachable-uordering
5m 35s
fix: A program using ** dies in the solver Boogie CI #2309: Pull request #1166 opened by fabiomadge
5m 38s fix/real-pow-undeclared
fix/real-pow-undeclared
5m 38s