search

GaloisInc / pate

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

Redefine synchronization points to specity the address where control flow re-synchronizes #362

Closed danmatichuk closed 6 months ago