Ryan Scott 93b588a58b macaw-base: Resolve RISC-V relocations ... This builds on top of the work in GaloisInc/elf-edit#45. For now, I only add support for a select few relocation types, leaving the rest as future work. This paves a way for an eventual fix for #414.		2024-07-31 10:11:53 -04:00
..
arm-asl-parser@afbeff2db4	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00
asl-translator@4b632c9093	Support building with GHC 9.6	2023-08-21 08:16:10 -04:00
bv-sized@d8b0e40010	Support building with GHC 9.4	2023-04-18 15:17:23 -04:00
bv-sized-float@f6ba3b2137	Support building with GHC 9.4	2023-04-18 15:17:23 -04:00
crucible@c310fcb7f7	Use Crucible goal-proving helpers in testing code	2024-07-16 15:30:35 -04:00
dismantle@82849d4aa0	Support building with GHC 9.4	2023-04-18 15:17:23 -04:00
dwarf@ca7de7ac85	Support building with GHC 9.6	2023-08-21 08:16:10 -04:00
elf-edit@fcda0a5604	macaw-base: Resolve RISC-V relocations	2024-07-31 10:11:53 -04:00
flexdis86@5370202ab9	Support building with GHC 9.6	2023-08-21 08:16:10 -04:00
grift@ab2cf5bd6f	Support building with GHC 9.6	2023-08-21 08:16:10 -04:00
llvm-pretty@1fa09fc6ab	Bump submodules to allow building with what4-1.6.*	2024-06-13 04:25:12 -04:00
llvm-pretty-bc-parser@1cfe6e86ab	Bump submodules to allow building with what4-1.6.*	2024-06-13 04:25:12 -04:00
macaw-loader@b291f57a24	Point macaw-loader submodule to master commit	2023-04-18 15:30:30 -04:00
semmc@2147ee3e7b	Support building with GHC 9.6	2023-08-21 08:16:10 -04:00
softfloat-hs@a74bb916c4	Update softfloat-hs repo to eliminate manual build step (#265)	2022-03-04 15:49:36 -08:00
what4@494ac6416e	Bump submodules to allow building with what4-1.6.*	2024-06-13 04:25:12 -04:00