Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
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
Add check to prevent swapping of exception raises
EasyCrypt Docker Containers Build #51: Commit 6dbd99d pushed by strub
16m 54s main
Added lemmas proving consequences of a list concatenation being [].
EasyCrypt Docker Containers Build #50: Commit c807474 pushed by strub
15m 55s main
Add exception declaration, raise, and update logic
EasyCrypt Docker Containers Build #48: Commit bba1f1b pushed by strub
17m 27s main
Add proper error message on digest mismatch in require (#915)
EasyCrypt Docker Containers Build #47: Commit b5019d2 pushed by strub
16m 42s main
[parser]: support for hex literals
EasyCrypt Docker Containers Build #46: Commit 3d043bb pushed by strub
17m 36s main
documentation for rnd
EasyCrypt Docker Containers Build #45: Commit c1d9670 pushed by fdupress
16m 59s main
Add support for cfold of symbolic assignments
EasyCrypt Docker Containers Build #44: Commit 708b913 pushed by strub
15m 54s main
[runtest] fail when a dir fails to match
EasyCrypt Docker Containers Build #43: Commit e39c276 pushed by strub
15m 44s main
[ci] use the main build box in CI
EasyCrypt Docker Containers Build #42: Commit cec2b03 pushed by fdupress
16m 13s main
[docker]: bump provers versions
EasyCrypt Docker Containers Build #41: Commit 36ad305 pushed by strub
16m 1s main
feat(unroll-for): propagate constants after unrolling
EasyCrypt Docker Containers Build #40: Commit f262e9c pushed by strub
17m 3s main
Fix printing of hypothesis about abstract statements
EasyCrypt Docker Containers Build #39: Commit 6f80687 pushed by strub
15m 49s main
Fix issue #905, improve error message on missing two sided memory
EasyCrypt Docker Containers Build #38: Commit f39cacd pushed by strub
16m 16s main
In hidden theories, remove all hints
EasyCrypt Docker Containers Build #37: Commit d672d43 pushed by strub
14m 4s main
In clone, allow applying renamings pre-emptively
EasyCrypt Docker Containers Build #36: Commit e9aec65 pushed by strub
17m 36s main
Use reductive equality tests, and destruct the last matching operator
EasyCrypt Docker Containers Build #34: Commit c2eb5bd pushed by strub
15m 43s main
Reconstruct match correctly in zip
EasyCrypt Docker Containers Build #33: Commit feb688f pushed by strub
14m 7s main
document proc* (#894)
EasyCrypt Docker Containers Build #32: Commit ee9221d pushed by oskgo
15m 54s main
document clear tactic (#895)
EasyCrypt Docker Containers Build #31: Commit ad0f28a pushed by oskgo
15m 46s main