Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
934 workflow runs
934 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
feat: configurable warnings (uninit locals, unused unfold) Build documentation #936: Pull request #1073 synchronize by strub
11m 23s opt-warnings
opt-warnings
11m 23s
feat: configurable warnings (uninit locals, unused unfold) Build documentation #935: Pull request #1073 opened by strub
6m 45s opt-warnings
opt-warnings
6m 45s
fall back to checking equality of expressions in sim Build documentation #934: Commit 6ea6bdc pushed by github-merge-queue Bot
7m 22s main
main
7m 22s
New lemmas for List Build documentation #933: Pull request #1072 opened by namasikanam
7m 27s oram-new-lemmas-list
oram-new-lemmas-list
7m 27s
feat(circuit): polymorphic array init binding kind (painit) Build documentation #932: Commit ccff776 pushed by github-merge-queue Bot
9m 53s main
main
9m 53s
feat(circuit): polymorphic array init binding kind (painit) Build documentation #931: Pull request #1071 synchronize by strub
16m 5s bdep-slow
bdep-slow
16m 5s
feat(circuit): polymorphic array init binding kind (painit) Build documentation #930: Pull request #1071 opened by strub
10m 37s bdep-slow
bdep-slow
10m 37s
Fall back to checking equality of expressions in sim Build documentation #929: Pull request #997 synchronize by oskgo
10m 56s fix-990-2
fix-990-2
10m 56s
PolyReduceZp: use default clone overrides (<=) and drop redundant `… Build documentation #928: Commit fbf412f pushed by strub
6m 36s main
main
6m 36s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param Build documentation #927: Pull request #1069 opened by strub
6m 52s better-clones-poly-reduce
better-clones-poly-reduce
6m 52s
emit error when overrinding a subtype with a type that is not a subty… Build documentation #926: Commit 9ecaecc pushed by github-merge-queue Bot
6m 43s main
main
6m 43s
fix(quotient): keep repr/pi opaque to SMT Build documentation #925: Commit 36b86f1 pushed by github-merge-queue Bot
6m 48s main
main
6m 48s
fix(quotient): keep repr/pi opaque to SMT Build documentation #924: Pull request #1068 synchronize by strub
7m 33s fix-quotient-smt-opaque
fix-quotient-smt-opaque
7m 33s
feat: named ring/field instances for ring/field structure selection Build documentation #923: Commit 141ddfd pushed by github-merge-queue Bot
6m 57s main
main
6m 57s
fix(quotient): keep repr/pi opaque to SMT Build documentation #922: Pull request #1068 synchronize by strub
12m 56s fix-quotient-smt-opaque
fix-quotient-smt-opaque
12m 56s
fix(quotient): keep repr/pi opaque to SMT Build documentation #921: Pull request #1068 opened by strub
6m 37s fix-quotient-smt-opaque
fix-quotient-smt-opaque
6m 37s
feat: named ring/field instances for ring/field structure selection Build documentation #920: Pull request #1067 opened by strub
6m 46s multi-instance-ring
multi-instance-ring
6m 46s
Integer-indexed types Build documentation #919: Pull request #1065 synchronize by strub
6m 37s indexed-types
indexed-types
6m 37s
[llm] playground for LLM-related interaction Build documentation #918: Pull request #1019 synchronize by strub
7m 3s llm-interactive
llm-interactive
7m 3s
New lemmas for stdlib Build documentation #917: Commit 3800968 pushed by github-merge-queue Bot
6m 54s main
main
6m 54s
Integer-indexed types Build documentation #916: Pull request #1065 synchronize by strub
6m 51s indexed-types
indexed-types
6m 51s
Fall back to checking equality of expressions in sim Build documentation #915: Pull request #997 synchronize by strub
9m 15s fix-990-2
fix-990-2
9m 15s
Fix soundness bug with clone overrides of subtypes Build documentation #914: Pull request #1062 synchronize by strub
32s fix-subtype
fix-subtype
32s
New lemmas for stdlib Build documentation #913: Pull request #1053 synchronize by strub
5m 45s lemmas-from-oram
lemmas-from-oram
5m 45s
feat: print an individual procedure (print [proc] M.p) Build documentation #912: Commit 761aaf2 pushed by github-merge-queue Bot
6m 46s main
main
6m 46s