Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
893 workflow runs
893 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewriting in the pre-condition of PL logics EasyCrypt compilation & check #4479: Commit a172f1b pushed by strub
16m 36s main
main
16m 36s
Rewriting in the pre-condition of PL logics EasyCrypt compilation & check #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 compilation & check #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 EasyCrypt compilation & check #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 compilation & check #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 EasyCrypt compilation & check #4474: Pull request #940 synchronize by strub
16m 47s proc-rewrite-in-pre
proc-rewrite-in-pre
16m 47s
Rewriting in the pre-condition of PL logics EasyCrypt compilation & check #4473: Pull request #940 opened by strub
16m 32s proc-rewrite-in-pre
proc-rewrite-in-pre
16m 32s
PR: #Pre / #Post meta vars in conseq EasyCrypt compilation & check #4472: Pull request #939 opened by Gustavo2622
16m 35s feature_conseq_metavars
feature_conseq_metavars
16m 35s
PR: Cfold refactoring EasyCrypt compilation & check #4471: Pull request #938 opened by Gustavo2622
2m 53s refactor_cfold
refactor_cfold
2m 53s
Forward call with framed pre EasyCrypt compilation & check #4470: Pull request #937 synchronize by strub
16m 36s call-fwd-auto-frame
call-fwd-auto-frame
16m 36s
Forward call with framed pre EasyCrypt compilation & check #4469: Pull request #937 opened by strub
16m 13s call-fwd-auto-frame
call-fwd-auto-frame
16m 13s
Fix English grammar in matching error messages. EasyCrypt compilation & check #4468: Commit de800c1 pushed by strub
17m 18s main
main
17m 18s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt compilation & check #4467: Commit 907be52 pushed by strub
16m 32s main
main
16m 32s
Fix English grammar in matching error messages. EasyCrypt compilation & check #4466: Pull request #936 opened by alleystoughton
16m 47s fix-grammar-in-matching-error-messages
fix-grammar-in-matching-error-messages
16m 47s
Fix async while rule EasyCrypt compilation & check #4465: Pull request #935 opened by lyonel2017
16m 49s asynchile
asynchile
16m 49s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt compilation & check #4464: Pull request #932 synchronize by oskgo
17m 38s fix-pr-has
fix-pr-has
17m 38s
Fix grammar and use of pretty printing blocks for missing constructor error messages EasyCrypt compilation & check #4463: Pull request #934 opened by alleystoughton
17m 27s fix-matching-error-grammar-pp-block
fix-matching-error-grammar-pp-block
17m 27s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt compilation & check #4462: Pull request #932 synchronize by strub
16m 16s fix-pr-has
fix-pr-has
16m 16s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt compilation & check #4461: Pull request #932 synchronize by strub
25m 22s fix-pr-has
fix-pr-has
25m 22s
Fixing issues with the pretty printing of operators relating to parsing EasyCrypt compilation & check #4460: Commit 491d76b pushed by strub
16m 54s main
main
16m 54s
Allow memory preserving destruction of formulas to yield different ty… EasyCrypt compilation & check #4459: Commit ab8469c pushed by strub
17m 38s main
main
17m 38s
Allow memory preserving destruction of formulas to yield distinct types EasyCrypt compilation & check #4458: Pull request #933 opened by oskgo
22m 55s fix-rewrite-pr-unit
fix-rewrite-pr-unit
22m 55s
Fixing two issues with the pretty printing of operators that are not applied to arguments EasyCrypt compilation & check #4457: Pull request #929 synchronize by alleystoughton
17m 19s op-pretty-printing-fixes
op-pretty-printing-fixes
17m 19s
Fix all FIXME comments in src/ EasyCrypt compilation & check #4456: Pull request #931 synchronize by Copilot AI
1m 33s copilot/fix-all-fixme-comments
copilot/fix-all-fixme-comments
1m 33s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt compilation & check #4454: Pull request #932 opened by oskgo
15m 56s fix-pr-has
fix-pr-has
15m 56s