Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Forward call with framed pre Build documentation #273: Pull request #937 synchronize by strub
3m 59s call-fwd-auto-frame
call-fwd-auto-frame
3m 59s
PR: Cfold refactoring 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
PR: Cfold refactoring Build documentation #262: Pull request #938 opened by Gustavo2622
3m 45s refactor_cfold
refactor_cfold
3m 45s
Forward call with framed pre Build documentation #261: Pull request #937 synchronize by strub
3m 51s call-fwd-auto-frame
call-fwd-auto-frame
3m 51s
Forward call with framed pre 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
Fix English grammar in matching error messages. Build documentation #257: Pull request #936 opened by alleystoughton
3m 25s fix-grammar-in-matching-error-messages
fix-grammar-in-matching-error-messages
3m 25s