Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,114 workflow runs
1,114 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
[tactic] Fix type unification in outline EasyCrypt CI #3846: Pull request #791 opened by Cameron-Low
24m 6s fix-outline-type-unification
fix-outline-type-unification
24m 6s
Add lemma Array.map_comp EasyCrypt CI #3845: Commit d8b18a5 pushed by strub
23m 12s main
main
23m 12s
Add lemma Array.map_comp EasyCrypt CI #3844: Pull request #790 opened by vbgl
23m 9s vbgl:array-map-comp
vbgl:array-map-comp
23m 9s
Making program logic formulas memory-agnostic EasyCrypt CI #3843: Pull request #789 synchronize by oskgo
7m 23s softcode-memories2
softcode-memories2
7m 23s
Making program logic formulas memory-agnostic EasyCrypt CI #3842: Pull request #789 synchronize by oskgo
2m 45s softcode-memories2
softcode-memories2
2m 45s
New lazy/eager logic. EasyCrypt CI #3841: Pull request #787 synchronize by loutr
23m 32s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
23m 32s
feat(Pr-rewrite): Support for the new mu1_leq_eq_mu1 lemma EasyCrypt CI #3840: Commit 50a3039 pushed by strub
23m 36s main
main
23m 36s
Making program logic formulas memory-agnostic EasyCrypt CI #3839: Pull request #789 synchronize by oskgo
6m 2s softcode-memories2
softcode-memories2
6m 2s
Making program logic formulas memory-agnostic EasyCrypt CI #3838: Pull request #789 opened by oskgo
2m 38s softcode-memories2
softcode-memories2
2m 38s
New lemma mu1_le_eq_mu1 for Pr-rewrite. EasyCrypt CI #3837: Pull request #788 synchronize by loutr
24m 31s loutr:pr-rewrite-leq-eq
loutr:pr-rewrite-leq-eq
24m 31s
New lemma mu1_le_eq_mu1 for Pr-rewrite. EasyCrypt CI #3836: Pull request #788 opened by loutr
23m 43s loutr:pr-rewrite-leq-eq
loutr:pr-rewrite-leq-eq
23m 43s
New lazy/eager logic. EasyCrypt CI #3835: Pull request #787 synchronize by loutr
24m 26s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
24m 26s
New lazy/eager logic. EasyCrypt CI #3834: Pull request #787 synchronize by loutr
23m 34s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
23m 34s
fixes bug #785, add check that bad is only set to true once set (#786) EasyCrypt CI #3833: Commit 3501e37 pushed by bgregoir
24m 28s main
main
24m 28s
fixes bug #785, add check that bad is only set to true once set EasyCrypt CI #3832: Pull request #786 synchronize by bgregoir
23m 45s fix-785
fix-785
23m 45s
New lazy/eager logic. EasyCrypt CI #3831: Pull request #787 opened by loutr
22m 23s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
22m 23s
fixes bug #785, add check that bad is only set to true once set EasyCrypt CI #3830: Pull request #786 synchronize by bgregoir
23m 0s fix-785
fix-785
23m 0s
fixes bug #785, add check that bad is only set to true once set EasyCrypt CI #3829: Pull request #786 opened by bgregoir
24m 10s fix-785
fix-785
24m 10s
Inlined documentation EasyCrypt CI #3828: Pull request #783 synchronize by MM45
23m 54s inlined-doc
inlined-doc
23m 54s
Inlined documentation EasyCrypt CI #3827: Pull request #783 synchronize by MM45
23m 41s inlined-doc
inlined-doc
23m 41s
Inlined documentation EasyCrypt CI #3826: Pull request #783 synchronize by MM45
2m 57s inlined-doc
inlined-doc
2m 57s
Inlined documentation EasyCrypt CI #3825: Pull request #783 synchronize by MM45
23m 56s inlined-doc
inlined-doc
23m 56s
Fix indentation TOC EasyCrypt CI #3824: Commit 5223d14 pushed by MM45
23m 28s main
main
23m 28s
Fix indentation TOC EasyCrypt CI #3823: Pull request #784 opened by MM45
24m 25s fix-readme
fix-readme
24m 25s
Inlined documentation EasyCrypt CI #3822: Pull request #783 synchronize by MM45
23m 42s inlined-doc
inlined-doc
23m 42s
ProTip! You can narrow down the results and go further in time using created:<2025-06-02 or the other filters available.