Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
886 workflow runs
886 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve rewrite framing with formula-level read tracking EasyCrypt compilation & check #4540: Pull request #948 synchronize by strub
In progress proc-change-with-exn
proc-change-with-exn
In progress
PR: Cfold refactoring EasyCrypt compilation & check #4539: Pull request #938 synchronize by Gustavo2622
16m 40s refactor_cfold
refactor_cfold
16m 40s
Refactor code positions EasyCrypt compilation & check #4538: Pull request #945 synchronize by Gustavo2622
2m 32s refactor_codepos
refactor_codepos
2m 32s
Improve rewrite framing with formula-level read tracking EasyCrypt compilation & check #4537: Pull request #948 opened by strub
16m 50s proc-change-with-exn
proc-change-with-exn
16m 50s
"step" hybrid theory, plus two examples EasyCrypt compilation & check #4536: Pull request #947 opened by alleystoughton
16m 27s step-hybrid
step-hybrid
16m 27s
Rewrite PR EasyCrypt compilation & check #4535: Pull request #946 opened by strub
14m 19s gen-rewrite-pr
gen-rewrite-pr
14m 19s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4534: Pull request #937 synchronize by strub
16m 39s call-fwd-auto-frame
call-fwd-auto-frame
16m 39s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4533: Pull request #752 synchronize by strub
23m 23s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
23m 23s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4532: Pull request #937 synchronize by strub
18m 18s call-fwd-auto-frame
call-fwd-auto-frame
18m 18s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4531: Pull request #937 synchronize by strub
16m 36s call-fwd-auto-frame
call-fwd-auto-frame
16m 36s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4530: Pull request #937 synchronize by strub
16m 28s call-fwd-auto-frame
call-fwd-auto-frame
16m 28s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4529: Pull request #937 synchronize by strub
16m 35s call-fwd-auto-frame
call-fwd-auto-frame
16m 35s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4528: Pull request #937 synchronize by strub
16m 29s call-fwd-auto-frame
call-fwd-auto-frame
16m 29s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4527: Pull request #937 synchronize by strub
17m 8s call-fwd-auto-frame
call-fwd-auto-frame
17m 8s
Refactor code positions EasyCrypt compilation & check #4526: Pull request #945 synchronize by Gustavo2622
2m 26s refactor_codepos
refactor_codepos
2m 26s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4525: Pull request #937 synchronize by strub
19m 1s call-fwd-auto-frame
call-fwd-auto-frame
19m 1s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4524: Pull request #937 synchronize by strub
16m 3s call-fwd-auto-frame
call-fwd-auto-frame
16m 3s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4523: Pull request #937 synchronize by strub
16m 43s call-fwd-auto-frame
call-fwd-auto-frame
16m 43s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4522: Pull request #937 synchronize by strub
16m 37s call-fwd-auto-frame
call-fwd-auto-frame
16m 37s
Add forward ecall with framed preconditions EasyCrypt compilation & check #4521: Pull request #937 synchronize by strub
16m 25s call-fwd-auto-frame
call-fwd-auto-frame
16m 25s
Refactor code positions EasyCrypt compilation & check #4520: Pull request #945 synchronize by Gustavo2622
1m 44s refactor_codepos
refactor_codepos
1m 44s
Refactor code positions EasyCrypt compilation & check #4519: Pull request #945 opened by Gustavo2622
2m 35s refactor_codepos
refactor_codepos
2m 35s
Another example for eHoare EasyCrypt compilation & check #4518: Pull request #845 synchronize by fdupress
17m 2s eHoare-example
eHoare-example
17m 2s
Add checks to ensure post-execution memory independence in pr-rewrite EasyCrypt compilation & check #4517: Commit b6402f4 pushed by fdupress
22m 3s main
main
22m 3s
Another example for eHoare EasyCrypt compilation & check #4516: Pull request #845 synchronize by fdupress
16m 13s eHoare-example
eHoare-example
16m 13s