GaloisInc / pate

Patches Assured up to Trace Equivalence

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Support user-provided constraints on trace generation

thebendavis opened this issue · comments