Skip to content

Actions: EasyCrypt/easycrypt

Actions

Enforce single-commit PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
enforce-single-commit.yml
249 workflow runs
249 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
New lemmas for stdlib Enforce single-commit PR #249: Pull request #1053 synchronize by namasikanam
8s lemmas-from-oram
lemmas-from-oram
8s
New lemmas for stdlib Enforce single-commit PR #248: Pull request #1053 synchronize by namasikanam
7s lemmas-from-oram
lemmas-from-oram
7s
New lemmas for stdlib Enforce single-commit PR #247: Pull request #1053 synchronize by namasikanam
11s lemmas-from-oram
lemmas-from-oram
11s
Use auto unfold for some Logic operators Enforce single-commit PR #246: Pull request #1014 synchronize by oskgo
6s stdlib-auto-unfold
stdlib-auto-unfold
6s
After generalization of theories, remember work obtained by the theory Enforce single-commit PR #245: Pull request #1052 synchronize by oskgo
8s fix-theories-in-section
fix-theories-in-section
8s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #244: Pull request #1028 synchronize by fdupress
5s prf-generalise
prf-generalise
5s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #243: Pull request #1028 synchronize by fdupress
6s prf-generalise
prf-generalise
6s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #242: Pull request #1028 synchronize by fdupress
6s prf-generalise
prf-generalise
6s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #241: Pull request #1055 synchronize by bgregoir
7s loutr:main
loutr:main
7s
New lemmas for stdlib Enforce single-commit PR #240: Pull request #1053 synchronize by namasikanam
6s lemmas-from-oram
lemmas-from-oram
6s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #239: Pull request #1055 opened by loutr
6s loutr:main
loutr:main
6s
Fall back to checking equality of expressions in sim Enforce single-commit PR #238: Pull request #997 synchronize by oskgo
6s fix-990-2
fix-990-2
6s
New lemmas for stdlib Enforce single-commit PR #237: Pull request #1053 opened by namasikanam
6s lemmas-from-oram
lemmas-from-oram
6s
[cryptolib] generalize PRF definitions, PRP<->PRF Enforce single-commit PR #236: Pull request #1028 synchronize by fdupress
8s prf-generalise
prf-generalise
8s
After generalization of theories, remember work obtained by the theory Enforce single-commit PR #235: Pull request #1052 opened by oskgo
7s fix-theories-in-section
fix-theories-in-section
7s
[doc] start folding the tutorial in Enforce single-commit PR #234: Pull request #1051 opened by fdupress
9s doc-fold-tutorial
doc-fold-tutorial
9s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #233: Pull request #752 synchronize by strub
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #232: Pull request #752 synchronize by strub
12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
12s
Enforce single-commit PR Enforce single-commit PR #231: Merge group checks requested
7s
7s
typing: precise diagnostics for failed operator applications Enforce single-commit PR #230: Pull request #1050 synchronize by strub
8s fix-1048
fix-1048
8s
typing: precise diagnostics for failed operator applications Enforce single-commit PR #229: Pull request #1050 synchronize by strub
15s fix-1048
fix-1048
15s
typing: precise diagnostics for failed operator applications Enforce single-commit PR #228: Pull request #1050 opened by strub
6s fix-1048
fix-1048
6s
Enforce single-commit PR Enforce single-commit PR #227: Merge group checks requested
15s
15s
use conversion in t_ehoare_call_core Enforce single-commit PR #226: Pull request #1049 opened by bgregoir
7s restore-ehoare-call
restore-ehoare-call
7s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #225: Pull request #752 synchronize by strub
9s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
9s