Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,117 workflow runs
1,117 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(print): prefix each printed object with its `locate' report Build documentation #1119: Pull request #1109 opened by bgregoir
5m 45s print-locate
print-locate
5m 45s
[cryptolib] generalize PRF definitions, PRP<->PRF Build documentation #1118: Pull request #1028 synchronize by fdupress
6m 57s prf-generalise
prf-generalise
6m 57s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1117: Pull request #1019 synchronize by strub
6m 46s llm-interactive
llm-interactive
6m 46s
feat(simplify): delta[f g] forces unfolding of listed operators Build documentation #1116: Commit 55efb44 pushed by github-merge-queue Bot
7m 13s main
main
7m 13s
perf(cbv): cache operator instances and closed-term normal forms Build documentation #1115: Commit 1c3254a pushed by github-merge-queue Bot
5m 55s main
main
5m 55s
feat(simplify): delta[f g] forces unfolding of listed operators Build documentation #1114: Pull request #1108 synchronize by strub
6m 58s delta-with-op
delta-with-op
6m 58s
feat(simplify): delta[f g] forces unfolding of listed operators Build documentation #1113: Pull request #1108 synchronize by strub
2m 17s delta-with-op
delta-with-op
2m 17s
feat(simplify): delta[f g] forces unfolding of listed operators Build documentation #1112: Pull request #1108 synchronize by strub
6m 49s delta-with-op
delta-with-op
6m 49s
fix(clone): proof * [-tag] must force untagged axioms Build documentation #1111: Commit b5bdbf4 pushed by github-merge-queue Bot
4m 45s main
main
4m 45s
perf(cbv): cache operator instances and closed-term normal forms Build documentation #1110: Pull request #1107 synchronize by strub
7m 6s cbv-caches
cbv-caches
7m 6s
feat(simplify): delta[f g] forces unfolding of listed operators Build documentation #1109: Pull request #1108 opened by strub
6m 44s delta-with-op
delta-with-op
6m 44s
perf(cbv): cache operator instances and closed-term normal forms Build documentation #1108: Pull request #1107 opened by strub
7m 19s cbv-caches
cbv-caches
7m 19s
fix(subst): convert bound form-locals to expressions lazily Build documentation #1107: Commit 665d2d4 pushed by github-merge-queue Bot
7m 17s main
main
7m 17s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1106: Pull request #1019 synchronize by strub
11m 42s llm-interactive
llm-interactive
11m 42s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1105: Pull request #1019 synchronize by strub
6m 17s llm-interactive
llm-interactive
6m 17s
fix(subst): convert bound form-locals to expressions lazily Build documentation #1104: Pull request #1106 synchronize by strub
10m 36s slow-reduction
slow-reduction
10m 36s
fix(subst): convert bound form-locals to expressions lazily Build documentation #1103: Pull request #1106 opened by strub
12m 38s slow-reduction
slow-reduction
12m 38s
[cryptolib] generalize PRF definitions, PRP<->PRF Build documentation #1102: Pull request #1028 synchronize by fdupress
6m 11s prf-generalise
prf-generalise
6m 11s
[cryptolib] generalize PRF definitions, PRP<->PRF Build documentation #1101: Pull request #1028 synchronize by fdupress
13m 38s prf-generalise
prf-generalise
13m 38s
[cryptolib] generalize PRF definitions, PRP<->PRF Build documentation #1100: Pull request #1028 synchronize by fdupress
6m 44s prf-generalise
prf-generalise
6m 44s
Rényi-∞ divergence machinery for oracle-bounded reductions Build documentation #1099: Pull request #1076 synchronize by Gustavo2622
7m 21s library_renyi_divergence
library_renyi_divergence
7m 21s
New lemmas for List Build documentation #1098: Pull request #1072 synchronize by namasikanam
5m 52s oram-new-lemmas-list
oram-new-lemmas-list
5m 52s
fix(clone): proof * [-tag] should force (realize) untagged axioms Build documentation #1097: Pull request #1098 synchronize by namasikanam
6m 27s fix/clone-proofstar-tags
fix/clone-proofstar-tags
6m 27s
fix(equiv): equivF_abs must check glob-A footprint on both oracles Build documentation #1096: Commit 0b4aac5 pushed by github-merge-queue Bot
6m 16s main
main
6m 16s
fix(eager): fun-abs must check swap statement does not modify glob A Build documentation #1095: Commit f0d03ad pushed by github-merge-queue Bot
7m 5s main
main
7m 5s