Skip to content

Actions: Verified-zkEVM/ArkLib

Actions

AI Code Review with External Context

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
review.yml
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Coding theory proofs AI Code Review with External Context #231: Issue comment #298 (comment) created by FawadHa1der
1s
1s
Guruswami-Sudan divisibility AI Code Review with External Context #230: Issue comment #300 (comment) created by alexanderlhicks
1s
1s
Guruswami-Sudan existence AI Code Review with External Context #229: Issue comment #299 (comment) created by alexanderlhicks
Skipped
Skipped
Coding theory proofs AI Code Review with External Context #228: Issue comment #298 (comment) created by alexanderlhicks
1s
1s
proofs for lemma distInterleavedCodeToCodeLB, e_leq_dist_over_3 and probOfBadPts AI Code Review with External Context #227: Issue comment #297 (comment) created by alexanderlhicks
1s
1s
feat: vector based merkle tree and proofs AI Code Review with External Context #226: Issue comment #294 (comment) created by alexanderlhicks
1s
1s
feat: rbrKnowledgeSoundness of BinaryBasefold & ring-switching AI Code Review with External Context #225: Issue comment #296 (comment) created by chung-thai-nguyen
Skipped
Skipped
feat: rbrKnowledgeSoundness of BinaryBasefold & ring-switching AI Code Review with External Context #224: Issue comment #296 (comment) created by alexanderlhicks
3s
3s
Refactoring CompPoly Out of Arklib AI Code Review with External Context #223: Issue comment #307 (comment) created by dhsorens
2s
2s
Guruswami-Sudan divisibility AI Code Review with External Context #222: Issue comment #300 (comment) created by ster-oc
1s
1s
Guruswami-Sudan existence AI Code Review with External Context #221: Issue comment #299 (comment) created by ster-oc
1s
1s
Guruswami-Sudan existence AI Code Review with External Context #220: Issue comment #299 (comment) created by alexanderlhicks
1s
1s
Proof obligation for decoder_mem_impl_dist in ArkLib/Data/CodingTheory/GuruswamiSudan/GuruswamiSudan.lean AI Code Review with External Context #219: Issue comment #233 (comment) created by FawadHa1der
5s
5s
Coding theory proofs AI Code Review with External Context #218: Issue comment #298 (comment) created by FawadHa1der
4s
4s
Proof of Polishchuk-Spielman AI Code Review with External Context #217: Issue comment #292 (comment) created by adrianmartir
1s
1s
Feat: Update to v4.26 and VCV w/ dependent oracles AI Code Review with External Context #216: Issue comment #303 (comment) created by dtumad
1s
1s
Feat: Update to v4.26 and VCV w/ dependent oracles AI Code Review with External Context #215: Issue comment #303 (comment) created by alexanderlhicks
2s
2s
Proof obligation for minDist_eq_minDist in ArkLib/Data/CodingTheory/InterleavedCode.lean AI Code Review with External Context #214: Issue comment #225 (comment) created by adrianmartir
1s
1s
Proof obligation for minDist_eq_minDist in ArkLib/Data/CodingTheory/InterleavedCode.lean AI Code Review with External Context #213: Issue comment #225 (comment) created by chung-thai-nguyen
1s
1s
Proof obligation for minDist_eq_minDist in ArkLib/Data/CodingTheory/InterleavedCode.lean AI Code Review with External Context #212: Issue comment #225 (comment) created by adrianmartir
Skipped
Skipped
Proof obligation for minDist_eq_minDist in ArkLib/Data/CodingTheory/InterleavedCode.lean AI Code Review with External Context #211: Issue comment #225 (comment) created by chung-thai-nguyen
1s
1s
Proof obligation for minDist_eq_minDist in ArkLib/Data/CodingTheory/InterleavedCode.lean AI Code Review with External Context #210: Issue comment #225 (comment) created by adrianmartir
1s
1s
proofs for lemma distInterleavedCodeToCodeLB, e_leq_dist_over_3 and probOfBadPts AI Code Review with External Context #209: Issue comment #297 (comment) created by DimitriosMitsios
2s
2s
proofs for lemma distInterleavedCodeToCodeLB, e_leq_dist_over_3 and probOfBadPts AI Code Review with External Context #208: Issue comment #297 (comment) created by FawadHa1der
11s
11s
Proof obligation for linsolve_some in ArkLib/Data/CodingTheory/BerlekampWelch/Sorries.lean AI Code Review with External Context #207: Issue comment #211 (comment) created by FawadHa1der
1s
1s