Skip to content

Actions: EasyCrypt/easycrypt

Actions

Enforce single-commit PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
enforce-single-commit.yml
568 workflow runs
568 workflow runs

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
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #568: Pull request #1135 synchronize by Yiping106283
6s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
6s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #567: Pull request #1130 synchronize by Yiping106283
6s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
6s
fix(phl): reject a bound written by the prefix in the upper-bound while rule Enforce single-commit PR #566: Pull request #1131 synchronize by Yiping106283
5s Yiping106283:fix-phoare-while-prefix-bound
Yiping106283:fix-phoare-while-prefix-bound
5s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #565: Pull request #1135 synchronize by Yiping106283
6s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
6s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #564: Pull request #1130 synchronize by Yiping106283
7s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
7s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #563: Pull request #1130 synchronize by Yiping106283
6s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
6s
fix(fel): count the lvalue of a call to an excepted oracle as a write Enforce single-commit PR #562: Pull request #1140 opened by strub
8s fix-1126
fix-1126
8s
fix(phl): require the invariant on loop entry in the while variant rule Enforce single-commit PR #561: Pull request #1132 synchronize by strub
5s Yiping106283:fix-phoare-while-variant-entry
Yiping106283:fix-phoare-while-variant-entry
5s
Enforce single-commit PR Enforce single-commit PR #560: Merge group checks requested
9s
9s
fix(clone): compare oracle-call restrictions when overriding a module type Enforce single-commit PR #559: Pull request #1133 synchronize by strub
42s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
42s
fix(clone): compare oracle-call restrictions when overriding a module type Enforce single-commit PR #558: Pull request #1133 synchronize by strub
7s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
7s
Enforce single-commit PR Enforce single-commit PR #557: Merge group checks requested
8s
8s
fix(phl): swap with a code path must rebuild the enclosing program Enforce single-commit PR #556: Pull request #1134 synchronize by strub
15s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
15s
fix(phl): swap with a code path must rebuild the enclosing program Enforce single-commit PR #555: Pull request #1134 synchronize by strub
26s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
26s
Enforce single-commit PR Enforce single-commit PR #554: Merge group checks requested
6s
6s
[ci] make the documentation build immune to the git-maintenance race Enforce single-commit PR #553: Pull request #1139 synchronize by strub
6s ci-docs-git-maintenance
ci-docs-git-maintenance
6s
[ci] make the documentation build immune to the git-maintenance race Enforce single-commit PR #552: Pull request #1139 opened by strub
8s ci-docs-git-maintenance
ci-docs-git-maintenance
8s
Enforce single-commit PR Enforce single-commit PR #551: Merge group checks requested
6s
6s
Fixed priority_of_binop to handle PLUSn, MINUSn and STARn Enforce single-commit PR #550: Pull request #1138 opened by alleystoughton
7s fix-1121
fix-1121
7s
Fix swap when exception are in call Enforce single-commit PR #549: Pull request #1137 synchronize by lyonel2017
10s fix-exception-swap-call
fix-exception-swap-call
10s
Fix swap when exception are in call Enforce single-commit PR #548: Pull request #1137 synchronize by lyonel2017
7s fix-exception-swap-call
fix-exception-swap-call
7s
fix(phl): swap with a code path must rebuild the enclosing program Enforce single-commit PR #547: Pull request #1134 synchronize by strub
7s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
7s
Fix swap when exception are in call Enforce single-commit PR #546: Pull request #1137 opened by lyonel2017
8s fix-exception-swap-call
fix-exception-swap-call
8s
Add support of exception in Hoare logic for command rnd Enforce single-commit PR #545: Pull request #1136 synchronize by lyonel2017
8s feature-exception-hl-rnd
feature-exception-hl-rnd
8s
Add support of exception in Hoare logic for command rnd Enforce single-commit PR #544: Pull request #1136 opened by lyonel2017
6s feature-exception-hl-rnd
feature-exception-hl-rnd
6s