search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

Review updated target 7 script & create GUI replay #403

Closed lcasburn closed 1 month ago

lcasburn commented 2 months ago

depends #402

jim-carciofini commented 1 month ago

In progress, waiting for Dan to answer questions posed in Mattermost.

jim-carciofini commented 1 month ago

Done in https://gitlab-ext.galois.com/pate/pate-binja-demos/-/commit/5a98bebf3740a65138a37fc4faf7e8266350448a