search

GaloisInc / pate

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

refactor Pate.Verification.PairGraph to remove dependency on EquivM #378

Closed danmatichuk closed 4 months ago

danmatichuk commented 5 months ago

moves any EquivM operations in the original PairGraph module to Pate.Monad.PairGraph

this is an initial step in trying to move some of general purpose PairGraph operations out of the StrongestPosts and Widening modules