Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

Docs Integrity

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs-integrity.yml
152 workflow runs
152 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(univariate): Horner's method implementation (#199) Docs Integrity #156: Commit 067a22b pushed by dhsorens
18s master
master
18s
feat(univariate): Horner's method implementation Docs Integrity #155: Pull request #199 synchronize by DimitriosMitsios
20s DimitriosMitsios:horner
DimitriosMitsios:horner
20s
feat(univariate): Horner's method implementation Docs Integrity #154: Pull request #199 synchronize by DimitriosMitsios
11s DimitriosMitsios:horner
DimitriosMitsios:horner
11s
Enable use of eval instead of eval2 where appropriate (#192) Docs Integrity #153: Commit 2ee2d58 pushed by dhsorens
10s master
master
10s
Enable use of eval instead of eval2 where appropriate Docs Integrity #152: Pull request #192 synchronize by dhsorens
9s z-tech:z-tech/add_eval_lemmas
z-tech:z-tech/add_eval_lemmas
9s
NTT-based univariate multiplication Docs Integrity #151: Pull request #174 synchronize by erdkocak
14s erdkocak:master
erdkocak:master
14s
feat(univariate): Horner's method implementation Docs Integrity #150: Pull request #199 synchronize by DimitriosMitsios
9s DimitriosMitsios:horner
DimitriosMitsios:horner
9s
improve CONTRIBUTING.md (#204) Docs Integrity #149: Commit b8c3d5e pushed by dhsorens
11s master
master
11s
docs: clarify variable conventions for algebraic code Docs Integrity #148: Pull request #204 opened by klausnat
8s klausnat:style-guide-auto
klausnat:style-guide-auto
8s
split Basic.lean create TransformEquiv.lean (#201) Docs Integrity #147: Commit c530c4d pushed by dhsorens
9s master
master
9s
feat(bivariate): Add commutativity of bivariate evaluation Docs Integrity #146: Pull request #203 opened by ElijahVlasov
18s NethermindEth:ElijahVlasov/bivariate-eval-lemma
NethermindEth:ElijahVlasov/bivariate-eval-lemma
18s
refactor(multilinear): split transform equivalence proofs into TransformEquiv.lean Docs Integrity #145: Pull request #201 opened by klausnat
11s klausnat:split_basic_transformequiv
klausnat:split_basic_transformequiv
11s
feat(univariate): Horner's method implementation Docs Integrity #144: Pull request #199 synchronize by DimitriosMitsios
9s DimitriosMitsios:horner
DimitriosMitsios:horner
9s
Update review.yml Docs Integrity #143: Commit d3064f6 pushed by alexanderlhicks
12s master
master
12s
Change AI provider and model in review workflow Docs Integrity #142: Commit 56a78d9 pushed by alexanderlhicks
8s master
master
8s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) (#200) Docs Integrity #141: Commit a34d756 pushed by dhsorens
9s master
master
9s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) Docs Integrity #140: Pull request #200 synchronize by klausnat
10s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
10s
feat(multilinear): Möbius zeta spec equivalence (task #5, step 2) Docs Integrity #139: Pull request #200 opened by klausnat
10s klausnat:mono-to-lagrange
klausnat:mono-to-lagrange
10s
feat(univariate): Horner's method implementation Docs Integrity #138: Pull request #199 synchronize by DimitriosMitsios
6s DimitriosMitsios:horner
DimitriosMitsios:horner
6s
feat(univariate): Horner's method implementation Docs Integrity #137: Pull request #199 opened by DimitriosMitsios
10s DimitriosMitsios:horner
DimitriosMitsios:horner
10s
feat(clMul): Optimize clMul in Binary Common (issue #129) (#196) Docs Integrity #136: Commit d1fe8d6 pushed by chung-thai-nguyen
8s master
master
8s
feat(clMul): Optimize clMul in Binary Common (issue #129) Docs Integrity #135: Pull request #196 synchronize by DimitriosMitsios
9s DimitriosMitsios:clMul-opt
DimitriosMitsios:clMul-opt
9s
Refactor PR review workflow configuration (#197) Docs Integrity #134: Commit 56d10c9 pushed by alexanderlhicks
8s master
master
8s
Refactor PR review workflow configuration Docs Integrity #133: Pull request #197 synchronize by alexanderlhicks
6s alexanderlhicks-patch-1
alexanderlhicks-patch-1
6s
Modify PR Summary workflow configuration (#198) Docs Integrity #132: Commit 325f84b pushed by alexanderlhicks
11s master
master
11s