Skip to content

Specify and verify: spqr::encoding::polynomial::PolyDecoder::get_pts_needed in polynomial.rs #922

Specify and verify: spqr::encoding::polynomial::PolyDecoder::get_pts_needed in polynomial.rs

Specify and verify: spqr::encoding::polynomial::PolyDecoder::get_pts_needed in polynomial.rs #922

Triggered via pull request July 24, 2026 10:55
Status Success
Total duration 25s
Artifacts

src-diff.yml

on: pull_request
Check src-modifications.diff
22s
Check src-modifications.diff
Fit to window
Zoom out
Zoom in