Skip to content

feat(ui/codelens): implement ProofCodeCodeLensProvider for inline editor symbol impact - #26

Merged
waleedcodes merged 3 commits into
workingfrom
pr-26-src-ui-codeLensProvider
Oct 9, 2026
Merged

feat(ui/codelens): implement ProofCodeCodeLensProvider for inline editor symbol impact#26
waleedcodes merged 3 commits into
workingfrom
pr-26-src-ui-codeLensProvider

feat(ui): render caller counts, risk indicators, and dashboard naviga…

10ad489
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar