Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
916 workflow runs
916 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
[distributions] in programmatic list sampling, make the distribution dynamic Build documentation #793: Pull request #1030 synchronize by fdupress
6m 46s generalise-dlist-program
generalise-dlist-program
6m 46s
[distributions] in programmatic list sampling, make the distribution dynamic Build documentation #792: Pull request #1030 synchronize by fdupress
4m 1s generalise-dlist-program
generalise-dlist-program
4m 1s
[chore] fix unused unfold warnings Build documentation #791: Pull request #1042 synchronize by fdupress
7m 2s fix-unused-unfold
fix-unused-unfold
7m 2s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #790: Pull request #1036 synchronize by fdupress
3m 51s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
3m 51s
typing: resolve record projections from the record type Build documentation #789: Commit 767fb23 pushed by github-merge-queue Bot
3m 57s main
main
3m 57s
typing: resolve record projections from the record type Build documentation #788: Pull request #1043 opened by strub
3m 53s fix-1011
fix-1011
3m 53s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #787: Pull request #995 synchronize by mbbarbosa
3m 49s feature-zqcentered
feature-zqcentered
3m 49s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #786: Pull request #1036 synchronize by strub
3m 55s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
3m 55s
[chore] fix unused unfold warnings Build documentation #785: Pull request #1042 synchronize by fdupress
7m 11s fix-unused-unfold
fix-unused-unfold
7m 11s
[chore] fix unused unfold warnings Build documentation #784: Pull request #1042 synchronize by fdupress
3m 53s fix-unused-unfold
fix-unused-unfold
3m 53s
Warn on useless unfolds by default Build documentation #783: Commit 6890b87 pushed by github-merge-queue Bot
3m 45s main
main
3m 45s
[chore] fix unused unfold warnings Build documentation #782: Pull request #1042 synchronize by fdupress
3m 32s fix-unused-unfold
fix-unused-unfold
3m 32s
[chore] fix unused unfold warnings Build documentation #781: Pull request #1042 opened by fdupress
4m 4s fix-unused-unfold
fix-unused-unfold
4m 4s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #780: Pull request #1036 synchronize by fdupress
4m 13s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
4m 13s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #779: Pull request #1041 synchronize by strub
3m 55s refactor-pl
refactor-pl
3m 55s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #778: Pull request #1041 synchronize by strub
5m 22s refactor-pl
refactor-pl
5m 22s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #777: Commit 1475d82 pushed by github-merge-queue Bot
4m 23s main
main
4m 23s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #776: Pull request #1031 synchronize by strub
6m 2s ecall-phoare-bwd
ecall-phoare-bwd
6m 2s
feat(phl): support backward ecall on bdHoare/phoare goals Build documentation #775: Pull request #1031 synchronize by strub
4m 3s ecall-phoare-bwd
ecall-phoare-bwd
4m 3s
proc change: well-formed goals when introducing fresh locals Build documentation #774: Commit d846247 pushed by github-merge-queue Bot
3m 57s main
main
3m 57s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #773: Pull request #1041 opened by strub
3m 59s refactor-pl
refactor-pl
3m 59s
proc change: well-formed goals when introducing fresh locals Build documentation #772: Pull request #1040 opened by strub
4m 2s fix-1026
fix-1026
4m 2s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Build documentation #771: Pull request #1039 synchronize by strub
3m 58s fix-1033
fix-1033
3m 58s
smt: add [smt_inline] operator tag to δ/β-reduce at use sites Build documentation #770: Pull request #1039 opened by strub
3m 52s fix-1033
fix-1033
3m 52s
ecall: avoid internal name collision in abstract_pvs Build documentation #769: Commit 6669be1 pushed by strub
4m 31s main
main
4m 31s