Diff display of original and patched traces in pate-binja plugin

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

Closed jim-carciofini closed 5 months ago

jim-carciofini commented 5 months ago

Cherry pick of PR #370 commits for GUI changes for merge to master.