Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Build documentation #1220: Pull request #1143 synchronize by namasikanam
In progress fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
In progress
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
In progress fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
In progress
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 EasyCrypt CI #5555: Pull request #1144 synchronize by namasikanam
In progress fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
In progress
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
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
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
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
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 Build documentation #1216: Pull request #1143 synchronize by namasikanam
1m 35s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
1m 35s
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(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 Build documentation #1215: Pull request #1137 synchronize by lyonel2017
7m 26s fix-exception-swap-call
fix-exception-swap-call
7m 26s
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 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) 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): 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): 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): 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): 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) Enforce single-commit PR #602: Pull request #1135 synchronize by Yiping106283
6s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
6s