Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[runtest] fail when a dir fails to match EasyCrypt Docker Containers Build #43: Commit e39c276 pushed by strub
15m 44s main
main
15m 44s
[ci] use the main build box in CI EasyCrypt Docker Containers Build #42: Commit cec2b03 pushed by fdupress
16m 13s main
main
16m 13s
[docker]: bump provers versions EasyCrypt Docker Containers Build #41: Commit 36ad305 pushed by strub
16m 1s main
main
16m 1s
feat(unroll-for): propagate constants after unrolling EasyCrypt Docker Containers Build #40: Commit f262e9c pushed by strub
17m 3s main
main
17m 3s
Fix printing of hypothesis about abstract statements EasyCrypt Docker Containers Build #39: Commit 6f80687 pushed by strub
15m 49s main
main
15m 49s
Fix issue #905, improve error message on missing two sided memory EasyCrypt Docker Containers Build #38: Commit f39cacd pushed by strub
16m 16s main
main
16m 16s
In hidden theories, remove all hints EasyCrypt Docker Containers Build #37: Commit d672d43 pushed by strub
14m 4s main
main
14m 4s
In clone, allow applying renamings pre-emptively EasyCrypt Docker Containers Build #36: Commit e9aec65 pushed by strub
17m 36s main
main
17m 36s
clarify that only the topmost instance of the binary operator is deco… EasyCrypt Docker Containers Build #35: Commit f71e049 pushed by strub
15m 53s main
main
15m 53s
Use reductive equality tests, and destruct the last matching operator EasyCrypt Docker Containers Build #34: Commit c2eb5bd pushed by strub
15m 43s main
main
15m 43s
Reconstruct match correctly in zip EasyCrypt Docker Containers Build #33: Commit feb688f pushed by strub
14m 7s main
main
14m 7s
document proc* (#894) EasyCrypt Docker Containers Build #32: Commit ee9221d pushed by oskgo
15m 54s main
main
15m 54s
document clear tactic (#895) EasyCrypt Docker Containers Build #31: Commit ad0f28a pushed by oskgo
15m 46s main
main
15m 46s
Fix spurious line breaks in pretty-printing of qualified module paths EasyCrypt Docker Containers Build #30: Commit 3866ec1 pushed by strub
15m 38s main
main
15m 38s
Exposed in the API for EcScope.Theory functions for beginning and EasyCrypt Docker Containers Build #29: Commit 73bb1f6 pushed by strub
15m 43s main
main
15m 43s
[external-ci] use formosa-xmss security proof EasyCrypt Docker Containers Build #28: Commit 99d826d pushed by strub
16m 21s main
main
16m 21s
document the proc tactic (#884) EasyCrypt Docker Containers Build #27: Commit bdb93fb pushed by oskgo
15m 45s main
main
15m 45s
Allow abstract phoare proc on >= 1 bounds and make postcondition side… EasyCrypt Docker Containers Build #26: Commit 83b8f23 pushed by oskgo
14m 15s main
main
14m 15s
[documentation]: tactic swap EasyCrypt Docker Containers Build #25: Commit 3b85034 pushed by fdupress
16m 2s release
release
16m 2s
[documentation]: tactic swap EasyCrypt Docker Containers Build #24: Commit 3b85034 pushed by fdupress
14m 15s r2026.02
r2026.02
14m 15s
[documentation]: tactic swap EasyCrypt Docker Containers Build #23: Commit 3b85034 pushed by strub
16m 4s main
main
16m 4s
build docker containers in CI EasyCrypt Docker Containers Build #22: Commit 9557f1d pushed by fdupress
15m 28s main
main
15m 28s
REVERT ME EasyCrypt Docker Containers Build #21: Commit d3dfa31 pushed by fdupress
16m 11s docker-builds-in-ci
docker-builds-in-ci
16m 11s
REVERT ME EasyCrypt Docker Containers Build #20: Commit a09a5b2 pushed by fdupress
16m 24s docker-builds-in-ci
docker-builds-in-ci
16m 24s
REVERT ME EasyCrypt Docker Containers Build #19: Commit 2bdf33f pushed by fdupress
14m 52s docker-builds-in-ci
docker-builds-in-ci
14m 52s