Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,218 workflow runs
1,218 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 Build documentation #1220: Pull request #1143 synchronize by namasikanam
6m 26s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
6m 26s
fix(fixpoint): matchfix termination check must descend into all call arguments Build documentation #1219: Pull request #1144 synchronize by namasikanam
7m 5s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
7m 5s
fix(fixpoint): matchfix termination check must descend into all call arguments Build documentation #1218: Pull request #1144 synchronize by namasikanam
10m 21s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
10m 21s
Add support of exception in Hoare logic for command rnd Build documentation #1217: Pull request #1136 synchronize by lyonel2017
1m 9s feature-exception-hl-rnd
feature-exception-hl-rnd
1m 9s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Build documentation #1216: Pull request #1143 synchronize by namasikanam
1m 35s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
1m 35s
Fix swap when exception are in call Build documentation #1215: Pull request #1137 synchronize by lyonel2017
7m 26s fix-exception-swap-call
fix-exception-swap-call
7m 26s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Build documentation #1214: Pull request #1135 synchronize by Yiping106283
14m 41s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
14m 41s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Build documentation #1213: Pull request #1130 synchronize by Yiping106283
7m 36s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
7m 36s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Build documentation #1212: Pull request #1135 synchronize by Yiping106283
14m 0s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
14m 0s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Build documentation #1211: Pull request #1135 synchronize by Yiping106283
2s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
2s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Build documentation #1210: Pull request #1130 synchronize by Yiping106283
7m 11s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
7m 11s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1209: Pull request #1019 synchronize by bgregoir
8m 13s llm-interactive
llm-interactive
8m 13s
perf: make require of large section-heavy developments fast Build documentation #1208: Commit 884dad7 pushed by github-merge-queue Bot
7m 28s main
main
7m 28s
perf: make require of large section-heavy developments fast Build documentation #1207: Pull request #1147 synchronize by strub
13m 27s long-import
long-import
13m 27s
perf: make require of large section-heavy developments fast Build documentation #1206: Pull request #1147 synchronize by strub
7m 57s long-import
long-import
7m 57s
perf: make require of large section-heavy developments fast Build documentation #1205: Pull request #1147 synchronize by strub
4m 5s long-import
long-import
4m 5s
perf: make require of large section-heavy developments fast Build documentation #1204: Pull request #1147 synchronize by strub
7m 16s long-import
long-import
7m 16s
perf: make require of large section-heavy developments fast Build documentation #1203: Pull request #1147 synchronize by strub
6m 51s long-import
long-import
6m 51s
perf: make require of large section-heavy developments fast Build documentation #1202: Pull request #1147 opened by strub
6m 3s long-import
long-import
6m 3s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1201: Pull request #1019 synchronize by bgregoir
7m 33s llm-interactive
llm-interactive
7m 33s
fix(phl): proc rewrite /= honors the proof-local simplify context Build documentation #1200: Commit 1e2d06e pushed by github-merge-queue Bot
6m 39s main
main
6m 39s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1199: Pull request #1019 synchronize by bgregoir
8m 21s llm-interactive
llm-interactive
8m 21s
fix(phl): proc rewrite /= honors the proof-local simplify context Build documentation #1198: Pull request #1146 opened by bgregoir
6m 58s fix/proc-rewrite-simpl-local-hint
fix/proc-rewrite-simpl-local-hint
6m 58s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Build documentation #1197: Pull request #1135 reopened by oskgo
13m 27s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
13m 27s
fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) Build documentation #1196: Pull request #1130 reopened by oskgo
7m 23s Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
7m 23s