Simplify 'MemPred' representation and identify it with Proof.MemoryDomain

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

14 stars 3 forks source link

Closed danmatichuk closed 2 years ago

danmatichuk commented 2 years ago

This flattens the structure of 'MemPred' (renaming it to MemoryDomain) and identifies it with the Proof.MemoryDomain type.