Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,365 workflow runs
1,365 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
fix(subst): also bind expression-locals when substituting a form-loca… EasyCrypt CI #5144: Commit 615d335 pushed by github-merge-queue Bot
In progress main
main
In progress
EasyCrypt CI EasyCrypt CI #5143: Merge group checks requested
29m 14s
29m 14s
fix(subst): also bind expression-locals when substituting a form-local (#1056) EasyCrypt CI #5142: Pull request #1057 synchronize by strub
28m 56s fix-1056
fix-1056
28m 56s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5141: Pull request #1060 synchronize by loutr
27m 59s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
27m 59s
New lemmas for stdlib EasyCrypt CI #5140: Pull request #1053 synchronize by namasikanam
27m 46s lemmas-from-oram
lemmas-from-oram
27m 46s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5139: Pull request #1060 opened by loutr
25m 4s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
25m 4s
Stronger precondition in pRHL tactics eager-seq and eager-while EasyCrypt CI #5138: Pull request #1059 opened by loutr
27m 33s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
27m 33s
Additional quotient theory with user provided canon map EasyCrypt CI #5137: Pull request #1058 synchronize by oskgo
29m 41s migrate-to-quotient
migrate-to-quotient
29m 41s
Additional quotient theory with user provided canon map EasyCrypt CI #5136: Pull request #1058 synchronize by oskgo
29m 7s migrate-to-quotient
migrate-to-quotient
29m 7s
fix(subst): also bind expression-locals when substituting a form-local (#1056) EasyCrypt CI #5135: Pull request #1057 synchronize by bgregoir
29m 22s fix-1056
fix-1056
29m 22s
fix(subst): also bind expression-locals when substituting a form-local (#1056) EasyCrypt CI #5134: Pull request #1057 opened by bgregoir
26m 22s fix-1056
fix-1056
26m 22s
During generalization of theories, remember work obtained by the theory EasyCrypt CI #5133: Commit 50ae51d pushed by github-merge-queue Bot
40m 58s main
main
40m 58s
EasyCrypt CI EasyCrypt CI #5132: Merge group checks requested
25m 28s
25m 28s
New lemmas for stdlib EasyCrypt CI #5131: Pull request #1053 synchronize by namasikanam
8m 27s lemmas-from-oram
lemmas-from-oram
8m 27s
New lemmas for stdlib EasyCrypt CI #5130: Pull request #1053 synchronize by namasikanam
27m 23s lemmas-from-oram
lemmas-from-oram
27m 23s
New lemmas for stdlib EasyCrypt CI #5129: Pull request #1053 synchronize by namasikanam
27m 9s lemmas-from-oram
lemmas-from-oram
27m 9s
Use auto unfold for some Logic operators EasyCrypt CI #5128: Pull request #1014 synchronize by oskgo
21m 9s stdlib-auto-unfold
stdlib-auto-unfold
21m 9s
After generalization of theories, remember work obtained by the theory EasyCrypt CI #5127: Pull request #1052 synchronize by oskgo
28m 3s fix-theories-in-section
fix-theories-in-section
28m 3s
[cryptolib] generalize PRF definitions, PRP<->PRF EasyCrypt CI #5126: Pull request #1028 synchronize by fdupress
13m 22s prf-generalise
prf-generalise
13m 22s
[cryptolib] generalize PRF definitions, PRP<->PRF EasyCrypt CI #5125: Pull request #1028 synchronize by fdupress
26m 48s prf-generalise
prf-generalise
26m 48s
[cryptolib] generalize PRF definitions, PRP<->PRF EasyCrypt CI #5124: Pull request #1028 synchronize by fdupress
27m 4s prf-generalise
prf-generalise
27m 4s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5123: Pull request #1055 synchronize by bgregoir
27m 29s loutr:main
loutr:main
27m 29s
New lemmas for stdlib EasyCrypt CI #5122: Pull request #1053 synchronize by namasikanam
29m 15s lemmas-from-oram
lemmas-from-oram
29m 15s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5121: Pull request #1055 opened by loutr
27m 23s loutr:main
loutr:main
27m 23s
Fall back to checking equality of expressions in sim EasyCrypt CI #5120: Pull request #997 synchronize by oskgo
12m 1s fix-990-2
fix-990-2
12m 1s