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
582 workflow runs
582 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
Enforce single-commit PR Enforce single-commit PR #582: Merge group checks requested
6s
6s
Enforce single-commit PR Enforce single-commit PR #581: Merge group checks requested
7s
7s
Change pHL to prevent negative probabilities Enforce single-commit PR #580: Pull request #1105 synchronize by oskgo
7s negative-phoare-false
negative-phoare-false
7s
Change pHL to prevent negative probabilities Enforce single-commit PR #579: Pull request #1105 synchronize by fdupress
9s negative-phoare-false
negative-phoare-false
9s
Change pHL to prevent negative probabilities Enforce single-commit PR #578: Pull request #1105 synchronize by fdupress
7s negative-phoare-false
negative-phoare-false
7s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #577: Pull request #1130 synchronize by Yiping106283
14s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
14s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #576: Pull request #1135 synchronize by Yiping106283
6s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
6s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #575: Pull request #1135 synchronize by Yiping106283
7s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
7s
Change pHL to prevent negative probabilities Enforce single-commit PR #574: Pull request #1105 synchronize by fdupress
5s negative-phoare-false
negative-phoare-false
5s
fix(fixpoint): matchfix termination check must descend into all call arguments Enforce single-commit PR #573: Pull request #1144 opened by namasikanam
5s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
5s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Enforce single-commit PR #572: Pull request #1143 opened by namasikanam
6s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
6s
Enforce single-commit PR Enforce single-commit PR #571: Merge group checks requested
7s
7s
fix: add a & before memory identifiers in EcPhlEager Enforce single-commit PR #570: Pull request #1141 opened by loutr
6s loutr:fix-eager-incorrect-memory-names
loutr:fix-eager-incorrect-memory-names
6s
Rényi-∞ divergence machinery for oracle-bounded reductions Enforce single-commit PR #569: Pull request #1076 synchronize by Gustavo2622
11s library_renyi_divergence
library_renyi_divergence
11s
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