Update to latest what4 revision and drop SymNat workaround

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

Update to latest what4 revision and drop SymNat workaround #328

Closed danmatichuk closed 3 months ago

danmatichuk commented 2 years ago

Currently we are re-implementing some functionality from the latest version of what4 for simplifying SymNats. We should update what4 and drop these workarounds (see integerToNat in ExprHelpers)

thebendavis commented 3 months ago

completed