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
610 workflow runs
610 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(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Enforce single-commit PR #610: Pull request #1143 synchronize by namasikanam
9s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
9s
fix(fixpoint): matchfix termination check must descend into all call arguments Enforce single-commit PR #609: Pull request #1144 synchronize by namasikanam
13s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
13s
fix(fixpoint): matchfix termination check must descend into all call arguments Enforce single-commit PR #608: Pull request #1144 synchronize by namasikanam
6s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
6s
Add support of exception in Hoare logic for command rnd Enforce single-commit PR #607: Pull request #1136 synchronize by lyonel2017
6s feature-exception-hl-rnd
feature-exception-hl-rnd
6s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Enforce single-commit PR #606: Pull request #1143 synchronize by namasikanam
6s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
6s
Fix swap when exception are in call Enforce single-commit PR #605: Pull request #1137 synchronize by lyonel2017
6s fix-exception-swap-call
fix-exception-swap-call
6s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #604: Pull request #1135 synchronize by Yiping106283
31s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
31s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #603: Pull request #1130 synchronize by Yiping106283
8s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
8s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #602: 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 #601: 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 #600: Pull request #1130 synchronize by Yiping106283
5s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
5s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Enforce single-commit PR #599: Pull request #1019 synchronize by bgregoir
6s llm-interactive
llm-interactive
6s
Enforce single-commit PR Enforce single-commit PR #598: Merge group checks requested
6s
6s
perf: make require of large section-heavy developments fast Enforce single-commit PR #597: Pull request #1147 synchronize by strub
6s long-import
long-import
6s
perf: make require of large section-heavy developments fast Enforce single-commit PR #596: Pull request #1147 synchronize by strub
8s long-import
long-import
8s
perf: make require of large section-heavy developments fast Enforce single-commit PR #595: Pull request #1147 synchronize by strub
6s long-import
long-import
6s
perf: make require of large section-heavy developments fast Enforce single-commit PR #594: Pull request #1147 synchronize by strub
6s long-import
long-import
6s
perf: make require of large section-heavy developments fast Enforce single-commit PR #593: Pull request #1147 synchronize by strub
8s long-import
long-import
8s
perf: make require of large section-heavy developments fast Enforce single-commit PR #592: Pull request #1147 opened by strub
6s long-import
long-import
6s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Enforce single-commit PR #591: Pull request #1019 synchronize by bgregoir
10s llm-interactive
llm-interactive
10s
Enforce single-commit PR Enforce single-commit PR #590: Merge group checks requested
7s
7s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Enforce single-commit PR #589: Pull request #1019 synchronize by bgregoir
5s llm-interactive
llm-interactive
5s
fix(phl): proc rewrite /= honors the proof-local simplify context Enforce single-commit PR #588: Pull request #1146 opened by bgregoir
5s fix/proc-rewrite-simpl-local-hint
fix/proc-rewrite-simpl-local-hint
5s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Enforce single-commit PR #587: Pull request #1135 reopened by oskgo
5s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
5s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Enforce single-commit PR #586: Pull request #1130 reopened by oskgo
6s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
6s