Proof Portal

Sign in
Projects

jsonparser

ProbeLabs23 findings · 123 requirements

Audit history

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

3 runsCompare
Latest in stream
Partial
Aug 20
Runs shown
3
proof-demo
Streams
1
branches with runs
Proof status over runs
Each run on proof-demo, 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 its open-finding delta vs the default branch.
Runs
Runs on proof-demo, newest first.
  1. Partial
    uncommitted
    Aug 20, 03:41 PMd79405e12 warnings187 checks
    as of
  2. Partial
    uncommitted
    Aug 20, 02:30 PM96a2d3313 warnings187 checks
    as of
  3. Not proof
    Aug 3, 11:10 AM775a6cc1 error · 9 warnings167 checks
    as of