Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
881 workflow runs
881 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

documentation for rnd EasyCrypt compilation & check #4416: Commit c1d9670 pushed by fdupress
16m 54s main
main
16m 54s
[documentation]: document while tactic EasyCrypt compilation & check #4415: Pull request #880 synchronize by oskgo
16m 44s doc-while-tactic
doc-while-tactic
16m 44s
Add proper error message on digest mismatch in require EasyCrypt compilation & check #4414: Pull request #915 opened by Gustavo2622
2m 37s fix_ecscope_digest_mismatch_error
fix_ecscope_digest_mismatch_error
2m 37s
Add framing to proc change EasyCrypt compilation & check #4413: Pull request #914 opened by Gustavo2622
17m 16s feature_procchange_framing
feature_procchange_framing
17m 16s
Add support for cfold of symbolic assignments EasyCrypt compilation & check #4412: Commit 708b913 pushed by strub
16m 20s main
main
16m 20s
PR: Allow symbolic assignments for cfold EasyCrypt compilation & check #4411: Pull request #892 synchronize by strub
22m 47s improvement_symbolic_cfold
improvement_symbolic_cfold
22m 47s
PR: Allow symbolic assignments for cfold EasyCrypt compilation & check #4410: Pull request #892 synchronize by strub
16m 34s improvement_symbolic_cfold
improvement_symbolic_cfold
16m 34s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4409: Commit e39c276 pushed by strub
16m 41s main
main
16m 41s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4408: Pull request #912 synchronize by strub
16m 41s fix-908
fix-908
16m 41s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4407: Pull request #912 synchronize by strub
17m 8s fix-908
fix-908
17m 8s
[ci] use the main build box in CI EasyCrypt compilation & check #4406: Commit cec2b03 pushed by fdupress
16m 34s main
main
16m 34s
[ci] use the main build box in CI EasyCrypt compilation & check #4405: Pull request #913 opened by fdupress
17m 4s ci-use-main
ci-use-main
17m 4s
Add a fold operation over finite maps, and associated lemmas EasyCrypt compilation & check #4404: Pull request #717 synchronize by fdupress
18m 9s fmap-fold
fmap-fold
18m 9s
start improving the stability of smt in DynMatrix EasyCrypt compilation & check #4403: Pull request #830 synchronize by fdupress
19m 57s dynmatrix-stability
dynmatrix-stability
19m 57s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4402: Pull request #912 synchronize by fdupress
19m 44s fix-908
fix-908
19m 44s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4401: Pull request #912 synchronize by fdupress
6m 14s fix-908
fix-908
6m 14s
[runtest] fail when a dir fails to match EasyCrypt compilation & check #4400: Pull request #912 opened by fdupress
6m 12s fix-908
fix-908
6m 12s
[documentation]: document while tactic EasyCrypt compilation & check #4399: Pull request #880 synchronize by fdupress
19m 37s doc-while-tactic
doc-while-tactic
19m 37s
documentation for rnd EasyCrypt compilation & check #4398: Pull request #890 synchronize by fdupress
19m 44s doc_tactic_rnd
doc_tactic_rnd
19m 44s
documentation for rnd EasyCrypt compilation & check #4397: Pull request #890 synchronize by fdupress
19m 57s doc_tactic_rnd
doc_tactic_rnd
19m 57s
[docker]: bump provers versions EasyCrypt compilation & check #4396: Commit 36ad305 pushed by strub
20m 17s main
main
20m 17s
[docker]: bump provers versions EasyCrypt compilation & check #4395: Pull request #911 opened by strub
19m 59s docker-bump-provers
docker-bump-provers
19m 59s
feat(unroll-for): propagate constants after unrolling EasyCrypt compilation & check #4394: Commit f262e9c pushed by strub
19m 43s main
main
19m 43s
Fix printing of hypothesis about abstract statements EasyCrypt compilation & check #4393: Commit 6f80687 pushed by strub
19m 50s main
main
19m 50s
Fix printing of hypothesis about abstract statements EasyCrypt compilation & check #4392: Pull request #910 opened by Gustavo2622
19m 52s fix_abstract_stmt_printing
fix_abstract_stmt_printing
19m 52s