Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
160 workflow runs
160 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Eager: match on last statement and use EqTest Build documentation #160: Pull request #900 synchronize by strub
6m 3s fix-eager
fix-eager
6m 3s
Reconstruct match correctly in zip Build documentation #159: Commit feb688f pushed by strub
3m 50s main
main
3m 50s
document proc* (#894) Build documentation #158: Commit ee9221d pushed by oskgo
3m 56s main
main
3m 56s
document clear tactic (#895) Build documentation #157: Commit ad0f28a pushed by oskgo
6m 3s main
main
6m 3s
document proc* Build documentation #156: Pull request #894 synchronize by oskgo
3m 40s doc-procstar
doc-procstar
3m 40s
Internal: correctly preserve match statements when constructing a zipper Build documentation #155: Pull request #899 synchronize by Cameron-Low
3m 40s fix-zipper-match
fix-zipper-match
3m 40s
document clear tactic Build documentation #154: Pull request #895 synchronize by oskgo
3m 37s doc-clear
doc-clear
3m 37s
Eager: match on last statement and use EqTest Build documentation #153: Pull request #900 opened by Cameron-Low
3m 46s fix-eager
fix-eager
3m 46s
Internal: correctly preserve match statements when constructing a zipper Build documentation #152: Pull request #899 opened by Cameron-Low
3m 38s fix-zipper-match
fix-zipper-match
3m 38s
Feature exception Build documentation #151: Pull request #806 synchronize by lyonel2017
3m 47s feature-exception
feature-exception
3m 47s
Tactic: add hoare split Build documentation #150: Pull request #888 synchronize by strub
3m 32s hoare-split
hoare-split
3m 32s
Fix spurious line breaks in pretty-printing of qualified module paths Build documentation #149: Commit 3866ec1 pushed by strub
3m 47s main
main
3m 47s
Fix spurious line breaks in pretty-printing of qualified module paths Build documentation #148: Pull request #898 opened by JNC4
3m 46s JNC4:fix/pp-msymbol-linebreak
JNC4:fix/pp-msymbol-linebreak
3m 46s
Exposed in the API for EcScope.Theory functions for beginning and Build documentation #147: Commit 73bb1f6 pushed by strub
3m 33s main
main
3m 33s
EasyCrypt Circuit Based Reasoning Extension Build documentation #146: Pull request #752 synchronize by Gustavo2622
4m 44s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 44s
Exposed in the API for EcScope.Theory functions for manually beginning and finishing requires Build documentation #145: Pull request #896 opened by alleystoughton
3m 37s external-api-requires
external-api-requires
3m 37s
document clear tactic Build documentation #144: Pull request #895 opened by oskgo
3m 30s doc-clear
doc-clear
3m 30s
document proc* Build documentation #143: Pull request #894 opened by oskgo
3m 27s doc-procstar
doc-procstar
3m 27s
PR: Allow symbolic assignments for cfold Build documentation #142: Pull request #892 synchronize by strub
7m 16s improvement_symbolic_cfold
improvement_symbolic_cfold
7m 16s
[external-ci] use formosa-xmss security proof Build documentation #141: Commit 99d826d pushed by strub
3m 51s main
main
3m 51s
[external-ci] use formosa-xmss security proof Build documentation #140: Pull request #893 opened by fdupress
3m 35s external-ci-formosa-xmss
external-ci-formosa-xmss
3m 35s
PR: Allow symbolic assignments for cfold Build documentation #139: Pull request #892 synchronize by Gustavo2622
3m 27s improvement_symbolic_cfold
improvement_symbolic_cfold
3m 27s
PR: Allow symbolic assignments for cfold Build documentation #138: Pull request #892 synchronize by Gustavo2622
4m 2s improvement_symbolic_cfold
improvement_symbolic_cfold
4m 2s
PR: Allow symbolic assignments for cfold Build documentation #137: Pull request #892 synchronize by Gustavo2622
3m 45s improvement_symbolic_cfold
improvement_symbolic_cfold
3m 45s
PR: Allow symbolic assignments for cfold Build documentation #136: Pull request #892 opened by Gustavo2622
3m 44s improvement_symbolic_cfold
improvement_symbolic_cfold
3m 44s