Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,058 workflow runs
1,058 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
Added prover quorum to project files and command line. EasyCrypt compilation & check #4755: Pull request #981 opened by alleystoughton
17m 30s project-quorums
project-quorums
17m 30s
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt compilation & check #4754: Pull request #979 synchronize by fdupress
19m 54s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
19m 54s
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt compilation & check #4753: Pull request #979 synchronize by fdupress
3m 37s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 37s
REVERT ME EasyCrypt compilation & check #4752: Commit 465309c pushed by fdupress
Failure prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
Failure
REVERT ME EasyCrypt compilation & check #4751: Commit 538bd59 pushed by fdupress
Failure prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
Failure
[docker] provers: bump alt-ergo to 2.6.3 EasyCrypt compilation & check #4750: Pull request #979 opened by fdupress
1h 4m 59s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
1h 4m 59s
Work around #334 in definition of allperms EasyCrypt compilation & check #4749: Pull request #975 synchronize by strub
21m 59s allperms-workaround
allperms-workaround
21m 59s
Work around #334 in definition of allperms EasyCrypt compilation & check #4748: Pull request #975 synchronize by strub
19m 41s allperms-workaround
allperms-workaround
19m 41s
Work around #334 in definition of allperms EasyCrypt compilation & check #4747: Pull request #975 synchronize by strub
20m 24s allperms-workaround
allperms-workaround
20m 24s
Work around #334 in definition of allperms EasyCrypt compilation & check #4746: Pull request #975 synchronize by strub
17m 48s allperms-workaround
allperms-workaround
17m 48s
Work around #334 in definition of allperms EasyCrypt compilation & check #4745: Pull request #975 synchronize by strub
16m 33s allperms-workaround
allperms-workaround
16m 33s
Work around #334 in definition of allperms EasyCrypt compilation & check #4744: Pull request #975 synchronize by strub
16m 50s allperms-workaround
allperms-workaround
16m 50s
feat(phl): add simplify if tactic EasyCrypt compilation & check #4743: Commit 9c8b4d9 pushed by github-merge-queue bot
17m 7s main
main
17m 7s
EasyCrypt compilation & check EasyCrypt compilation & check #4742: Merge group checks requested
16m 31s
16m 31s
feat(phl): add simplify if tactic EasyCrypt compilation & check #4741: Pull request #973 synchronize by strub
17m 36s if-conversion
if-conversion
17m 36s
feat(phl): add simplify if tactic EasyCrypt compilation & check #4740: Pull request #973 synchronize by strub
17m 40s if-conversion
if-conversion
17m 40s
feat(phl): add simplify if tactic EasyCrypt compilation & check #4739: Pull request #973 synchronize by strub
18m 1s if-conversion
if-conversion
18m 1s
Refactor contextual rewrite: isolate strict matching modes EasyCrypt compilation & check #4738: Commit 29e0baa pushed by github-merge-queue bot
16m 42s main
main
16m 42s
EasyCrypt compilation & check EasyCrypt compilation & check #4737: Merge group checks requested
16m 42s
16m 42s
[theories/modules] add law of total probability for lossless EasyCrypt compilation & check #4736: Commit 587d28f pushed by strub
16m 35s main
main
16m 35s
swap total_prob parameter, simplify proofs EasyCrypt compilation & check #4735: Commit 2f91738 pushed by github-merge-queue bot
16m 40s main
main
16m 40s
EasyCrypt compilation & check EasyCrypt compilation & check #4734: Merge group checks requested
16m 49s
16m 49s
Add contextual rewrite-pattern selection EasyCrypt compilation & check #4733: Pull request #955 synchronize by strub
17m 45s rw-pattern-ctxt
rw-pattern-ctxt
17m 45s
Add contextual rewrite-pattern selection EasyCrypt compilation & check #4732: Pull request #955 synchronize by strub
16m 26s rw-pattern-ctxt
rw-pattern-ctxt
16m 26s
Add contextual rewrite-pattern selection EasyCrypt compilation & check #4731: Pull request #955 synchronize by strub
16m 58s rw-pattern-ctxt
rw-pattern-ctxt
16m 58s