Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
883 workflow runs
883 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 bit-level circuit reasoning: circuit/extens tactics and bind command Build documentation #885: Commit e07ffa0 pushed by github-merge-queue Bot
7m 5s main
main
7m 5s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Build documentation #884: Pull request #752 synchronize by strub
7m 2s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 2s
Fix soundness bug with clone overrides of subtypes Build documentation #883: Pull request #1062 opened by oskgo
4m 14s fix-subtype
fix-subtype
4m 14s
migrate MSet to use quotients to eliminate axioms Build documentation #882: Commit e173136 pushed by github-merge-queue Bot
3m 47s main
main
3m 47s
feat: variant for up-to-bad call/proc tactics Build documentation #881: Pull request #1060 synchronize by loutr
4m 59s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
4m 59s
Stronger precondition in pRHL tactics eager-seq and eager-while Build documentation #880: Pull request #1059 synchronize by loutr
1m 43s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
1m 43s
feat: variant for up-to-bad call/proc tactics Build documentation #879: Pull request #1060 synchronize by loutr
52s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
52s
feat: variant for up-to-bad call/proc tactics Build documentation #878: Pull request #1060 synchronize by loutr
4m 4s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
4m 4s
[cryptolib] generalize PRF definitions, PRP<->PRF Build documentation #877: Pull request #1028 synchronize by fdupress
3m 55s prf-generalise
prf-generalise
3m 55s
Migrate MSet to use quotients to eliminate axioms Build documentation #876: Pull request #1061 opened by oskgo
4m 7s migrate-to-quotient
migrate-to-quotient
4m 7s
new quotient theory with explicit canonical map Build documentation #875: Commit 692ca89 pushed by github-merge-queue Bot
4m 6s main
main
4m 6s
Stronger precondition in pRHL tactics eager-seq and eager-while Build documentation #874: Pull request #1059 synchronize by strub
3m 58s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
3m 58s
Stronger precondition in pRHL tactics eager-seq and eager-while Build documentation #873: Pull request #1059 synchronize by loutr
4m 2s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
4m 2s
feat: variant for up-to-bad call/proc tactics Build documentation #872: Pull request #1060 synchronize by strub
3m 51s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
3m 51s
fix(subst): also bind expression-locals when substituting a form-loca… Build documentation #871: Commit 615d335 pushed by github-merge-queue Bot
3m 53s main
main
3m 53s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Build documentation #870: Pull request #1057 synchronize by strub
3m 33s fix-1056
fix-1056
3m 33s
feat: variant for up-to-bad call/proc tactics Build documentation #869: Pull request #1060 synchronize by loutr
3m 57s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
3m 57s
New lemmas for stdlib Build documentation #868: Pull request #1053 synchronize by namasikanam
4m 23s lemmas-from-oram
lemmas-from-oram
4m 23s
feat: variant for up-to-bad call/proc tactics Build documentation #867: Pull request #1060 opened by loutr
3m 29s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
3m 29s
Stronger precondition in pRHL tactics eager-seq and eager-while Build documentation #866: Pull request #1059 opened by loutr
3m 58s loutr:1059-eager-while-stronger-pre
loutr:1059-eager-while-stronger-pre
3m 58s
Additional quotient theory with user provided canon map Build documentation #865: Pull request #1058 synchronize by oskgo
5m 13s migrate-to-quotient
migrate-to-quotient
5m 13s
Additional quotient theory with user provided canon map Build documentation #864: Pull request #1058 synchronize by oskgo
4m 2s migrate-to-quotient
migrate-to-quotient
4m 2s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Build documentation #863: Pull request #1057 synchronize by bgregoir
3m 57s fix-1056
fix-1056
3m 57s
fix(subst): also bind expression-locals when substituting a form-local (#1056) Build documentation #862: Pull request #1057 opened by bgregoir
4m 3s fix-1056
fix-1056
4m 3s
During generalization of theories, remember work obtained by the theory Build documentation #861: Commit 50ae51d pushed by github-merge-queue Bot
3m 55s main
main
3m 55s