search

GaloisInc / pate

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

Adapt to changes in GaloisInc/macaw#327 #345

Closed RyanGlScott closed 9 months ago

RyanGlScott commented 1 year ago

This mostly involves replacing arguments in hookedMacawExtensions with a MemModelConfig. Apart from the API changes, there should be no user-visible changes in behavior.

RyanGlScott commented 1 year ago

https://github.com/GaloisInc/macaw/pull/327 has landed upstream, and I have updated this PR to point to the correct commit. @danmatichuk, feel free to land this at your discretion—I don't have the permissions to do so.

danmatichuk commented 9 months ago

these commits were rebased onto master as part of another PR