Skip to content

Improvements to json interface - #272

Merged
waskyo merged 2 commits into
static-analysis-engineering:masterfrom
waskyo:waskyo/json_interface_improvements
Apr 24, 2026
Merged

Improvements to json interface#272
waskyo merged 2 commits into
static-analysis-engineering:masterfrom
waskyo:waskyo/json_interface_improvements

JSON: add str method to JSONProofObligationRecord

a03f02b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.