Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
93 workflow runs
93 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add error messages on some call failures EasyCrypt Docker Containers Build #105: Commit dd9bd93 pushed by github-merge-queue Bot
14m 41s main
main
14m 41s
feat: add expect "..." by print ... command EasyCrypt Docker Containers Build #104: Commit e74c002 pushed by github-merge-queue Bot
17m 15s main
main
17m 15s
Added prover quorum to project files and command line. EasyCrypt Docker Containers Build #103: Commit 736f20d pushed by github-merge-queue Bot
15m 53s main
main
15m 53s
Make allperms_r opaque to work around #334 EasyCrypt Docker Containers Build #102: Commit e2d5000 pushed by github-merge-queue Bot
17m 36s main
main
17m 36s
feat(phl): add simplify if tactic EasyCrypt Docker Containers Build #101: Commit 9c8b4d9 pushed by github-merge-queue Bot
16m 4s main
main
16m 4s
Refactor contextual rewrite: isolate strict matching modes EasyCrypt Docker Containers Build #100: Commit 29e0baa pushed by github-merge-queue Bot
16m 54s main
main
16m 54s
[theories/modules] add law of total probability for lossless EasyCrypt Docker Containers Build #99: Commit 587d28f pushed by strub
18m 11s main
main
18m 11s
swap total_prob parameter, simplify proofs EasyCrypt Docker Containers Build #98: Commit 2f91738 pushed by github-merge-queue Bot
16m 30s main
main
16m 30s
Fix search to resolve abbreviations by expanding their body EasyCrypt Docker Containers Build #97: Commit 70f8dfc pushed by strub
19m 5s main
main
19m 5s
Fix search to resolve abbreviations by expanding their body EasyCrypt Docker Containers Build #96: Commit a66989b pushed by github-merge-queue Bot
16m 13s main
main
16m 13s
Add goal printing flags (-upto, -lastgoals) and LLM agent guide EasyCrypt Docker Containers Build #95: Commit fe9fba3 pushed by github-merge-queue Bot
18m 15s main
main
18m 15s
Update to the latest keywords list and remove the letter environment. EasyCrypt Docker Containers Build #94: Commit 5a50911 pushed by github-merge-queue Bot
15m 59s main
main
15m 59s
Fix multi-line error message EasyCrypt Docker Containers Build #93: Commit c5ddeca pushed by github-merge-queue Bot
16m 23s main
main
16m 23s
implement allperms to get rid of some unneeded axioms EasyCrypt Docker Containers Build #92: Commit ecb3395 pushed by github-merge-queue Bot
16m 4s main
main
16m 4s
Document forward/backward ecall tactics EasyCrypt Docker Containers Build #91: Commit bb95fdd pushed by github-merge-queue Bot
17m 28s main
main
17m 28s
Refactor ecPhlConseq.ml: restructure, deduplicate, document, and anno… EasyCrypt Docker Containers Build #90: Commit 0d1602f pushed by github-merge-queue Bot
18m 22s main
main
18m 22s
Print type parameters of operators when not inferrable from arguments EasyCrypt Docker Containers Build #89: Commit bcaa810 pushed by github-merge-queue Bot
17m 2s main
main
17m 2s
remove stray printing of lemma EasyCrypt Docker Containers Build #88: Commit 6d48cc1 pushed by github-merge-queue Bot
15m 56s main
main
15m 56s
proc change: support binding fresh local variables EasyCrypt Docker Containers Build #87: Commit 042456e pushed by github-merge-queue Bot
16m 23s main
main
16m 23s
Fix simplify flag handling in cfold EasyCrypt Docker Containers Build #86: Commit 7d9a0f5 pushed by github-merge-queue Bot
17m 53s main
main
17m 53s
Fix async while obligations and document the tactic EasyCrypt Docker Containers Build #85: Commit 267f827 pushed by github-merge-queue Bot
18m 47s main
main
18m 47s
Represent exception default postconditions inside the exception map EasyCrypt Docker Containers Build #84: Commit 15e14e5 pushed by github-merge-queue Bot
16m 16s main
main
16m 16s
Extend code-position handling with gap/range semantics EasyCrypt Docker Containers Build #83: Commit f0827a1 pushed by github-merge-queue Bot
16m 45s main
main
16m 45s
Activate CI on merge_group EasyCrypt Docker Containers Build #82: Commit 26ce061 pushed by strub
15m 59s main
main
15m 59s
bump and add prover versions in docker EasyCrypt Docker Containers Build #81: Commit a85fefb pushed by strub
16m 21s main
main
16m 21s