Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
555 workflow runs
555 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
stdlib: new lemmas (lists, bytes, distr) Build documentation #282: Commit b682e63 pushed by strub
3m 52s main
main
3m 52s
New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm. Build documentation #281: Pull request #942 synchronize by strub
4m 1s lemmas-from-oram
lemmas-from-oram
4m 1s
New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm. Build documentation #280: Pull request #942 synchronize by strub
3m 40s lemmas-from-oram
lemmas-from-oram
3m 40s
Fix long string-literals Build documentation #279: Commit 7367ad0 pushed by strub
4m 15s main
main
4m 15s
Ensure that upper bound for variant in non-strict while cannot be wri… Build documentation #278: Commit 2107767 pushed by strub
4m 6s main
main
4m 6s
Fix upper bound on non-strict while Build documentation #277: Pull request #941 synchronize by strub
3m 54s fix-non-strict-variant-while
fix-non-strict-variant-while
3m 54s
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
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
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
Refactor cfold propagation and add eager mode Build documentation #272: Pull request #938 synchronize by strub
3m 59s refactor_cfold
refactor_cfold
3m 59s
EasyCrypt Circuit Based Reasoning Extension 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 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 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 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
Rewriting in the pre-condition of PL logics Build documentation #264: Pull request #940 opened by strub
3m 48s proc-rewrite-in-pre
proc-rewrite-in-pre
3m 48s
PR: #Pre / #Post meta vars in conseq Build documentation #263: Pull request #939 opened by Gustavo2622
3m 44s feature_conseq_metavars
feature_conseq_metavars
3m 44s
Refactor cfold propagation and add eager mode Build documentation #262: Pull request #938 opened by Gustavo2622
3m 45s refactor_cfold
refactor_cfold
3m 45s
Add forward ecall with framed preconditions Build documentation #261: Pull request #937 synchronize by strub
3m 51s call-fwd-auto-frame
call-fwd-auto-frame
3m 51s
Add forward ecall with framed preconditions Build documentation #260: Pull request #937 opened by strub
3m 50s call-fwd-auto-frame
call-fwd-auto-frame
3m 50s
Fix English grammar in matching error messages. Build documentation #259: Commit de800c1 pushed by strub
7m 34s main
main
7m 34s
check for memory independence of list in rewrite Pr[mu_has_le] Build documentation #258: Commit 907be52 pushed by strub
3m 59s main
main
3m 59s
ProTip! You can narrow down the results and go further in time using created:<2026-03-12 or the other filters available.