Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,674 workflow runs
1,674 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 EasyCrypt CI #5556: Pull request #1143 synchronize by namasikanam
29m 7s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
29m 7s
fix(fixpoint): matchfix termination check must descend into all call arguments EasyCrypt CI #5555: Pull request #1144 synchronize by namasikanam
23m 20s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
23m 20s
fix(fixpoint): matchfix termination check must descend into all call arguments EasyCrypt CI #5554: Pull request #1144 synchronize by namasikanam
32m 35s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
32m 35s
Add support of exception in Hoare logic for command rnd EasyCrypt CI #5553: Pull request #1136 synchronize by lyonel2017
34m 34s feature-exception-hl-rnd
feature-exception-hl-rnd
34m 34s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles EasyCrypt CI #5552: Pull request #1143 synchronize by namasikanam
30m 48s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
30m 48s
Fix swap when exception are in call EasyCrypt CI #5551: Pull request #1137 synchronize by lyonel2017
26m 30s fix-exception-swap-call
fix-exception-swap-call
26m 30s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) EasyCrypt CI #5550: Pull request #1135 synchronize by Yiping106283
31m 56s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
31m 56s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) EasyCrypt CI #5549: Pull request #1130 synchronize by Yiping106283
31m 22s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
31m 22s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) EasyCrypt CI #5548: Pull request #1135 synchronize by Yiping106283
29m 49s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
29m 49s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) EasyCrypt CI #5547: Pull request #1135 synchronize by Yiping106283
33m 5s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
33m 5s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) EasyCrypt CI #5546: Pull request #1130 synchronize by Yiping106283
30m 9s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
30m 9s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server EasyCrypt CI #5545: Pull request #1019 synchronize by bgregoir
33m 32s llm-interactive
llm-interactive
33m 32s
perf: make require of large section-heavy developments fast EasyCrypt CI #5544: Commit 884dad7 pushed by github-merge-queue Bot
44m 23s main
main
44m 23s
EasyCrypt CI EasyCrypt CI #5543: Merge group checks requested
33m 31s
33m 31s
perf: make require of large section-heavy developments fast EasyCrypt CI #5542: Pull request #1147 synchronize by strub
34m 32s long-import
long-import
34m 32s
perf: make require of large section-heavy developments fast EasyCrypt CI #5541: Pull request #1147 synchronize by strub
32m 37s long-import
long-import
32m 37s
perf: make require of large section-heavy developments fast EasyCrypt CI #5540: Pull request #1147 synchronize by strub
25m 50s long-import
long-import
25m 50s
perf: make require of large section-heavy developments fast EasyCrypt CI #5539: Pull request #1147 synchronize by strub
32m 10s long-import
long-import
32m 10s
perf: make require of large section-heavy developments fast EasyCrypt CI #5538: Pull request #1147 synchronize by strub
32m 3s long-import
long-import
32m 3s
perf: make require of large section-heavy developments fast EasyCrypt CI #5537: Pull request #1147 opened by strub
27m 6s long-import
long-import
27m 6s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server EasyCrypt CI #5536: Pull request #1019 synchronize by bgregoir
29m 16s llm-interactive
llm-interactive
29m 16s
fix(phl): proc rewrite /= honors the proof-local simplify context EasyCrypt CI #5535: Commit 1e2d06e pushed by github-merge-queue Bot
43m 2s main
main
43m 2s
EasyCrypt CI EasyCrypt CI #5534: Merge group checks requested
25m 56s
25m 56s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server EasyCrypt CI #5533: Pull request #1019 synchronize by bgregoir
24m 7s llm-interactive
llm-interactive
24m 7s
fix(phl): proc rewrite /= honors the proof-local simplify context EasyCrypt CI #5532: Pull request #1146 opened by bgregoir
30m 25s fix/proc-rewrite-simpl-local-hint
fix/proc-rewrite-simpl-local-hint
30m 25s