Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix English grammar in matching error messages. EasyCrypt Docker Containers Build #55: Commit de800c1 pushed by strub
17m 1s main
main
17m 1s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt Docker Containers Build #54: Commit 907be52 pushed by strub
17m 7s main
main
17m 7s
Fixing issues with the pretty printing of operators relating to parsing EasyCrypt Docker Containers Build #53: Commit 491d76b pushed by strub
17m 54s main
main
17m 54s
Allow memory preserving destruction of formulas to yield different ty… EasyCrypt Docker Containers Build #52: Commit ab8469c pushed by strub
21m 17s main
main
21m 17s
Add check to prevent swapping of exception raises EasyCrypt Docker Containers Build #51: Commit 6dbd99d pushed by strub
16m 54s main
main
16m 54s
Added lemmas proving consequences of a list concatenation being []. EasyCrypt Docker Containers Build #50: Commit c807474 pushed by strub
15m 55s main
main
15m 55s
[ci] build test docker box on releases EasyCrypt Docker Containers Build #49: Commit 231c7cf pushed by fdupress
Failure ci-build-docker-test-on-release
ci-build-docker-test-on-release
Failure
Add exception declaration, raise, and update logic EasyCrypt Docker Containers Build #48: Commit bba1f1b pushed by strub
17m 27s main
main
17m 27s
Add proper error message on digest mismatch in require (#915) EasyCrypt Docker Containers Build #47: Commit b5019d2 pushed by strub
16m 42s main
main
16m 42s
[parser]: support for hex literals EasyCrypt Docker Containers Build #46: Commit 3d043bb pushed by strub
17m 36s main
main
17m 36s
documentation for rnd EasyCrypt Docker Containers Build #45: Commit c1d9670 pushed by fdupress
16m 59s main
main
16m 59s
Add support for cfold of symbolic assignments EasyCrypt Docker Containers Build #44: Commit 708b913 pushed by strub
15m 54s main
main
15m 54s
[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