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 upper bound on non-strict while EasyCrypt CI #4486: Pull request #941 synchronize by strub
17m 6s fix-non-strict-variant-while
fix-non-strict-variant-while
17m 6s
New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm. Build documentation #276: Pull request #942 opened by namasikanam
3m 30s lemmas-from-oram
lemmas-from-oram
3m 30s
New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm. EasyCrypt CI #4485: Pull request #942 opened by namasikanam
17m 6s lemmas-from-oram
lemmas-from-oram
17m 6s
PR: #Pre / #Post meta vars in conseq EasyCrypt CI #4484: Pull request #939 synchronize by strub
16m 36s feature_conseq_metavars
feature_conseq_metavars
16m 36s
PR: #Pre / #Post meta vars in conseq Build documentation #275: Pull request #939 synchronize by strub
4m 0s feature_conseq_metavars
feature_conseq_metavars
4m 0s
Fix upper bound on non-strict while Build documentation #274: Pull request #941 opened by oskgo
3m 44s fix-non-strict-variant-while
fix-non-strict-variant-while
3m 44s
Fix upper bound on non-strict while EasyCrypt CI #4483: Pull request #941 opened by oskgo
16m 55s fix-non-strict-variant-while
fix-non-strict-variant-while
16m 55s
Add forward ecall with framed preconditions Build documentation #273: Pull request #937 synchronize by strub
3m 59s call-fwd-auto-frame
call-fwd-auto-frame
3m 59s
Add forward ecall with framed preconditions EasyCrypt CI #4482: Pull request #937 synchronize by strub
16m 51s call-fwd-auto-frame
call-fwd-auto-frame
16m 51s
Refactor cfold propagation and add eager mode EasyCrypt CI #4481: Pull request #938 synchronize by strub
1m 44s refactor_cfold
refactor_cfold
1m 44s
Refactor cfold propagation and add eager mode Build documentation #272: Pull request #938 synchronize by strub
3m 59s refactor_cfold
refactor_cfold
3m 59s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4480: Pull request #752 synchronize by strub
6m 10s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6m 10s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Build documentation #271: Pull request #752 synchronize by strub
7m 5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 5s
Rewriting in the pre-condition of PL logics EasyCrypt Docker Containers Build #56: Commit a172f1b pushed by strub
17m 23s main
main
17m 23s
Rewriting in the pre-condition of PL logics EasyCrypt CI #4479: Commit a172f1b pushed by strub
16m 36s main
main
16m 36s
Rewriting in the pre-condition of PL logics Build documentation #270: Commit a172f1b pushed by strub
3m 29s main
main
3m 29s
Rewriting in the pre-condition of PL logics Build documentation #269: Pull request #940 synchronize by strub
3m 53s proc-rewrite-in-pre
proc-rewrite-in-pre
3m 53s
Rewriting in the pre-condition of PL logics EasyCrypt CI #4478: Pull request #940 synchronize by strub
16m 45s proc-rewrite-in-pre
proc-rewrite-in-pre
16m 45s
Rewriting in the pre-condition of PL logics EasyCrypt CI #4477: Pull request #940 synchronize by strub
17m 22s proc-rewrite-in-pre
proc-rewrite-in-pre
17m 22s
Rewriting in the pre-condition of PL logics Build documentation #268: Pull request #940 synchronize by strub
6m 26s proc-rewrite-in-pre
proc-rewrite-in-pre
6m 26s
Rewriting in the pre-condition of PL logics Build documentation #267: Pull request #940 synchronize by strub
4m 50s proc-rewrite-in-pre
proc-rewrite-in-pre
4m 50s
Rewriting in the pre-condition of PL logics EasyCrypt CI #4476: Pull request #940 synchronize by strub
15m 42s proc-rewrite-in-pre
proc-rewrite-in-pre
15m 42s
Rewriting in the pre-condition of PL logics EasyCrypt CI #4475: Pull request #940 synchronize by strub
15m 5s proc-rewrite-in-pre
proc-rewrite-in-pre
15m 5s
Rewriting in the pre-condition of PL logics Build documentation #266: Pull request #940 synchronize by strub
3m 52s proc-rewrite-in-pre
proc-rewrite-in-pre
3m 52s
Rewriting in the pre-condition of PL logics Build documentation #265: Pull request #940 synchronize by strub
3m 39s proc-rewrite-in-pre
proc-rewrite-in-pre
3m 39s
ProTip! You can narrow down the results and go further in time using created:<2026-03-14 or the other filters available.