Proof Portal

jsonparser

ProbeLabs11 findings · 123 requirements

The fastest JSON parser for Go — formally verified with ReqProof (real library, master).

How this project's proof evolves — run by run, branch by branch, release by release.

Stream

Date range

Proof status

Latest in stream

Partial

Aug 21

Runs shown

master

Streams

branches with runs

Proof status over runs

Each run on master, newest at the right.

Verification-policy coverage

Requirements meeting policy per run — a run that did not compute coverage is skipped, never drawn as zero.

Branches & releases

Every active stream — last verdict, recency, and how many known issues it tracks compared with the default branch.

Runs

Runs on master, newest first.