Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,564 workflow runs
1,564 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
New lemmas for List EasyCrypt CI #5409: Pull request #1072 synchronize by namasikanam
34m 20s oram-new-lemmas-list
oram-new-lemmas-list
34m 20s
fix(clone): proof * [-tag] should force (realize) untagged axioms EasyCrypt CI #5408: Pull request #1098 synchronize by namasikanam
34m 16s fix/clone-proofstar-tags
fix/clone-proofstar-tags
34m 16s
fix(equiv): equivF_abs must check glob-A footprint on both oracles EasyCrypt CI #5407: Commit 0b4aac5 pushed by github-merge-queue Bot
49m 56s main
main
49m 56s
EasyCrypt CI EasyCrypt CI #5406: Merge group checks requested
35m 3s
35m 3s
fix(eager): fun-abs must check swap statement does not modify glob A EasyCrypt CI #5405: Commit f0d03ad pushed by github-merge-queue Bot
43m 43s main
main
43m 43s
EasyCrypt CI EasyCrypt CI #5404: Merge group checks requested
31m 36s
31m 36s
feat(clone): reintroduce module overriding for stateless modules EasyCrypt CI #5403: Commit 497248a pushed by github-merge-queue Bot
54m 8s main
main
54m 8s
EasyCrypt CI EasyCrypt CI #5402: Merge group checks requested
34m 42s
34m 42s
Change pHL to prevent negative probabilities EasyCrypt CI #5401: Pull request #1105 synchronize by oskgo
33m 11s negative-phoare-false
negative-phoare-false
33m 11s
[chore] stabilise SMT and bump provers EasyCrypt CI #5400: Pull request #1084 synchronize by fdupress
35m 44s stabilise-smt
stabilise-smt
35m 44s
fix(fel): require per-step weights non-negative over the counter range EasyCrypt CI #5399: Pull request #1096 reopened by fdupress
2m 16s fix/fel-counter-weight
fix/fel-counter-weight
2m 16s
fix(clone): proof * [-tag] should force (realize) untagged axioms EasyCrypt CI #5398: Pull request #1098 synchronize by namasikanam
33m 22s fix/clone-proofstar-tags
fix/clone-proofstar-tags
33m 22s
fix(clone): proof * [-tag] should force (realize) untagged axioms EasyCrypt CI #5397: Pull request #1098 synchronize by namasikanam
32m 50s fix/clone-proofstar-tags
fix/clone-proofstar-tags
32m 50s
[chore] stabilise SMT and bump provers EasyCrypt CI #5396: Pull request #1084 synchronize by fdupress
36m 0s stabilise-smt
stabilise-smt
36m 0s
Change pHL to prevent negative probabilities EasyCrypt CI #5395: Pull request #1105 opened by oskgo
32m 2s negative-phoare-false
negative-phoare-false
32m 2s
feat(clone): reintroduce module overriding for stateless modules EasyCrypt CI #5394: Pull request #1104 synchronize by strub
34m 51s clones-with-modules
clones-with-modules
34m 51s
feat(clone): reintroduce module overriding for stateless modules EasyCrypt CI #5393: Pull request #1104 opened by strub
30m 17s clones-with-modules
clones-with-modules
30m 17s
fix(clone): proof * [-tag] should force (realize) untagged axioms EasyCrypt CI #5392: Pull request #1098 reopened by oskgo
32m 49s fix/clone-proofstar-tags
fix/clone-proofstar-tags
32m 49s
fix(ehoare): reject negative probability bound in byehoare deno EasyCrypt CI #5391: Pull request #1095 synchronize by strub
34m 28s fix/byehoare-neg-bound
fix/byehoare-neg-bound
34m 28s
fix(typing): sound module updates on sub-module and applied-functor b… EasyCrypt CI #5390: Commit 01fce12 pushed by github-merge-queue Bot
1h 22m 6s main
main
1h 22m 6s
EasyCrypt CI EasyCrypt CI #5389: Merge group checks requested
33m 54s
33m 54s
fix(typing): sound module updates on sub-module and applied-functor bases EasyCrypt CI #5388: Pull request #1086 synchronize by fdupress
31m 31s fix-module-update-bases
fix-module-update-bases
31m 31s
fix(typing): sound module updates on sub-module and applied-functor bases EasyCrypt CI #5387: Pull request #1086 synchronize by fdupress
28m 3s fix-module-update-bases
fix-module-update-bases
28m 3s
fix(eager): fun-abs must check the swap statement does not modify glob A EasyCrypt CI #5386: Pull request #1097 synchronize by namasikanam
32m 33s fix/eager-glob-check
fix/eager-glob-check
32m 33s
fix(conv): check operator type-arguments in applied-op convertibility EasyCrypt CI #5385: Commit 50f0cc1 pushed by github-merge-queue Bot
46m 53s main
main
46m 53s