Ryan Scott c86e13d35c Adapt to dynSymEntry being definition-aware in elf-edit ... This bump the `elf-edit` submodule to bring in the changes from https://github.com/GaloisInc/elf-edit/pull/29, which adds an additional `VersionDefMap` argument to `elf-edit` to make it aware of version definitions. This requires some changes to the API in `Data.Macaw.Memory.ElfLoader` to accommodate.		2022-04-19 12:47:24 -04:00
..
arm-asl-parser@afbeff2db4	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00
asl-translator@48d477ed3d	Update what4 and crucible submodules	2022-01-24 16:24:07 -08:00
bv-sized@72e230639e	Add RISC-V backend (#259)	2022-03-04 12:44:46 -08:00
bv-sized-float@212be830ea	Add RISC-V backend (#259)	2022-03-04 12:44:46 -08:00
crucible@e1308319ee	Update what4 and crucible submodules	2022-01-24 16:24:07 -08:00
dismantle@4573f4654c	Update the aarch32 disassembler	2021-11-05 20:01:11 -07:00
dwarf@ad6043e398	Update submodules	2021-06-14 15:41:32 -07:00
elf-edit@e7d7a38f9b	Adapt to dynSymEntry being definition-aware in elf-edit	2022-04-19 12:47:24 -04:00
flexdis86@9b899ed652	macaw-x86: Handle sign-extended immediates in def_push	2021-10-12 16:37:21 -04:00
grift@cb9084387f	Add RISC-V backend (#259)	2022-03-04 12:44:46 -08:00
llvm-pretty@ed904c679d	Support building with GHC 9.0	2022-01-10 16:40:23 -05:00
llvm-pretty-bc-parser@062dc02b2e	Support building with GHC 9.0	2022-01-10 16:40:23 -05:00
macaw-loader@f69f3a835a	Fix the default ppc32 ABI (#222)	2021-08-19 07:41:29 -07:00
semmc@3d9bc90f92	Update what4 and crucible submodules	2022-01-24 16:24:07 -08:00
softfloat-hs@a74bb916c4	Update softfloat-hs repo to eliminate manual build step (#265)	2022-03-04 15:49:36 -08:00
what4@629f9f1d6f	Update what4 and crucible submodules	2022-01-24 16:24:07 -08:00
what4-serialize@35f2877a3c	Update submodules	2021-07-15 21:22:30 -07:00