Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,656 workflow runs
1,656 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 EasyCrypt CI #5504: Pull request #1140 opened by strub
31m 27s fix-1126
fix-1126
31m 27s
fix(phl): require the invariant on loop entry in the while variant rule EasyCrypt CI #5503: Pull request #1132 synchronize by strub
25m 38s Yiping106283:fix-phoare-while-variant-entry
Yiping106283:fix-phoare-while-variant-entry
25m 38s
fix(clone): compare oracle-call restrictions when overriding a module… EasyCrypt CI #5502: Commit 6eeb6a0 pushed by github-merge-queue Bot
46m 29s main
main
46m 29s
EasyCrypt CI EasyCrypt CI #5501: Merge group checks requested
27m 23s
27m 23s
fix(clone): compare oracle-call restrictions when overriding a module type EasyCrypt CI #5500: Pull request #1133 synchronize by strub
32m 6s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
32m 6s
fix(clone): compare oracle-call restrictions when overriding a module type EasyCrypt CI #5499: Pull request #1133 synchronize by strub
28m 14s Yiping106283:fix-clone-modtype-oinfos
Yiping106283:fix-clone-modtype-oinfos
28m 14s
fix(phl): swap with a code path must rebuild the enclosing program EasyCrypt CI #5498: Commit b344686 pushed by github-merge-queue Bot
48m 55s main
main
48m 55s
EasyCrypt CI EasyCrypt CI #5497: Merge group checks requested
28m 12s
28m 12s
Fixed priority_of_binop to handle PLUSn, MINUSn and STARn, EasyCrypt CI #5496: Commit 090460f pushed by github-merge-queue Bot
51m 54s main
main
51m 54s
fix(phl): swap with a code path must rebuild the enclosing program EasyCrypt CI #5495: Pull request #1134 synchronize by strub
30m 57s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
30m 57s
fix(phl): swap with a code path must rebuild the enclosing program EasyCrypt CI #5494: Pull request #1134 synchronize by strub
32m 57s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
32m 57s
EasyCrypt CI EasyCrypt CI #5493: Merge group checks requested
31m 3s
31m 3s
[ci] make the documentation build immune to the git-maintenance race EasyCrypt CI #5492: Commit 63999f5 pushed by strub
58m 48s main
main
58m 48s
[ci] make the documentation build immune to the git-maintenance race EasyCrypt CI #5491: Pull request #1139 synchronize by strub
33m 38s ci-docs-git-maintenance
ci-docs-git-maintenance
33m 38s
[ci] make the documentation build immune to the git-maintenance race EasyCrypt CI #5490: Pull request #1139 opened by strub
23m 56s ci-docs-git-maintenance
ci-docs-git-maintenance
23m 56s
EasyCrypt CI EasyCrypt CI #5489: Merge group checks requested
36m 42s
36m 42s
Fixed priority_of_binop to handle PLUSn, MINUSn and STARn EasyCrypt CI #5488: Pull request #1138 opened by alleystoughton
31m 34s fix-1121
fix-1121
31m 34s
Fix swap when exception are in call EasyCrypt CI #5487: Pull request #1137 synchronize by lyonel2017
34m 14s fix-exception-swap-call
fix-exception-swap-call
34m 14s
Fix swap when exception are in call EasyCrypt CI #5486: Pull request #1137 synchronize by lyonel2017
32m 15s fix-exception-swap-call
fix-exception-swap-call
32m 15s
fix(phl): swap with a code path must rebuild the enclosing program EasyCrypt CI #5485: Pull request #1134 synchronize by strub
31m 22s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
31m 22s
Fix swap when exception are in call EasyCrypt CI #5484: Pull request #1137 opened by lyonel2017
19m 18s fix-exception-swap-call
fix-exception-swap-call
19m 18s
Add support of exception in Hoare logic for command rnd EasyCrypt CI #5483: Pull request #1136 synchronize by lyonel2017
37m 25s feature-exception-hl-rnd
feature-exception-hl-rnd
37m 25s
Add support of exception in Hoare logic for command rnd EasyCrypt CI #5482: Pull request #1136 opened by lyonel2017
32m 32s feature-exception-hl-rnd
feature-exception-hl-rnd
32m 32s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd EasyCrypt CI #5481: 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 EasyCrypt CI #5480: Pull request #1134 opened by Yiping106283
32m 8s Yiping106283:fix-swap-codepath-context
Yiping106283:fix-swap-codepath-context
32m 8s