Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,174 workflow runs
1,174 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(fel): count the lvalue of a call to an excepted oracle as a write Build documentation #1176: Pull request #1140 opened by strub
7m 17s fix-1126
fix-1126
7m 17s
fix(phl): require the invariant on loop entry in the while variant rule Build documentation #1175: Pull request #1132 synchronize by strub
6m 59s Yiping106283:fix-phoare-while-variant-entry
Yiping106283:fix-phoare-while-variant-entry
6m 59s
fix(clone): compare oracle-call restrictions when overriding a module… Build documentation #1174: Commit 6eeb6a0 pushed by github-merge-queue Bot
7m 12s main
main
7m 12s
fix(clone): compare oracle-call restrictions when overriding a module type Build documentation #1173: Pull request #1133 synchronize by strub
12m 5s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
12m 5s
fix(clone): compare oracle-call restrictions when overriding a module type Build documentation #1172: Pull request #1133 synchronize by strub
7m 7s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
7m 7s
fix(phl): swap with a code path must rebuild the enclosing program Build documentation #1171: Commit b344686 pushed by github-merge-queue Bot
7m 9s main
main
7m 9s
Fixed priority_of_binop to handle PLUSn, MINUSn and STARn, Build documentation #1170: Commit 090460f pushed by github-merge-queue Bot
10m 58s main
main
10m 58s
fix(phl): swap with a code path must rebuild the enclosing program Build documentation #1169: Pull request #1134 synchronize by strub
13m 53s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
13m 53s
fix(phl): swap with a code path must rebuild the enclosing program Build documentation #1168: Pull request #1134 synchronize by strub
16m 5s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
16m 5s
[ci] make the documentation build immune to the git-maintenance race Build documentation #1167: Commit 63999f5 pushed by strub
1m 16s main
main
1m 16s
[ci] make the documentation build immune to the git-maintenance race Build documentation #1166: Pull request #1139 synchronize by strub
16m 22s ci-docs-git-maintenance
ci-docs-git-maintenance
16m 22s
[ci] make the documentation build immune to the git-maintenance race Build documentation #1165: Pull request #1139 opened by strub
10m 41s ci-docs-git-maintenance
ci-docs-git-maintenance
10m 41s
Fixed priority_of_binop to handle PLUSn, MINUSn and STARn Build documentation #1164: Pull request #1138 opened by alleystoughton
8m 55s fix-1121
fix-1121
8m 55s
Fix swap when exception are in call Build documentation #1163: Pull request #1137 synchronize by lyonel2017
5m 53s fix-exception-swap-call
fix-exception-swap-call
5m 53s
Fix swap when exception are in call Build documentation #1162: Pull request #1137 synchronize by lyonel2017
8m 28s fix-exception-swap-call
fix-exception-swap-call
8m 28s
fix(phl): swap with a code path must rebuild the enclosing program Build documentation #1161: Pull request #1134 synchronize by strub
11m 3s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
11m 3s
Fix swap when exception are in call Build documentation #1160: Pull request #1137 opened by lyonel2017
8m 20s fix-exception-swap-call
fix-exception-swap-call
8m 20s
Add support of exception in Hoare logic for command rnd Build documentation #1159: Pull request #1136 synchronize by lyonel2017
8m 26s feature-exception-hl-rnd
feature-exception-hl-rnd
8m 26s
Add support of exception in Hoare logic for command rnd Build documentation #1158: Pull request #1136 opened by lyonel2017
31s feature-exception-hl-rnd
feature-exception-hl-rnd
31s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd Build documentation #1157: Pull request #1135 opened by Yiping106283
Action required Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
Action required
fix(phl): swap with a code path must rebuild the enclosing program Build documentation #1156: Pull request #1134 opened by Yiping106283
35s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
35s
fix(clone): compare oracle-call restrictions when overriding a module type Build documentation #1155: Pull request #1133 opened by Yiping106283
6m 21s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
6m 21s
fix(phl): require the invariant on loop entry in the while variant rule Build documentation #1154: Pull request #1132 opened by Yiping106283
10m 34s Yiping106283:fix-phoare-while-variant-entry
Yiping106283:fix-phoare-while-variant-entry
10m 34s
fix(phl): reject a bound written by the prefix in the upper-bound while rule Build documentation #1153: Pull request #1131 opened by Yiping106283
Action required Yiping106283:fix-phoare-while-prefix-bound
Yiping106283:fix-phoare-while-prefix-bound
Action required
fix(phl): check the bound of the upper-bound while rule on all memories Build documentation #1152: Pull request #1130 opened by Yiping106283
Action required Yiping106283:fix-phoare-while-le-bound
Yiping106283:fix-phoare-while-le-bound
Action required