search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
14 stars 3 forks source link

Maintain abstraction boundary of `MemCell.MemCellPred` #207

Closed danmatichuk closed 2 years ago

danmatichuk commented 2 years ago

The constructor for MemCellPred is exported for a few uses, but it should be hidden behind the module interface.

travitch commented 2 years ago

Thanks - I think that'll be a very good improvement

danmatichuk commented 2 years ago

Fixed in https://github.com/GaloisInc/pate/commit/137175ee39904c4d53898602b80471157ee7181f by introducing What4.PredMap