Bump `elf-edit`, `macaw` submodules to support PPC relocations

GaloisInc / pate

Patches Assured up to Trace Equivalence

Other

15 stars 2 forks source link

Closed RyanGlScott closed 10 months ago

RyanGlScott commented 10 months ago

This bumps:

The elf-edit submodule to bring in the changes from https://github.com/GaloisInc/elf-edit/pull/41.
The macaw submodule to bring in the changes from https://github.com/GaloisInc/macaw/pull/348.

After this, pate is able to load PPC binaries that contain certain relocation types.