Ryan Scott e6a3fb0b87 Bump what4 submodule to version 1.4 ... The only other changes required are (1) deleting an unused dependency on `what4-serialize`, and (2) raising upper version bounds on `what4`. This brings in submodule changes from the following: * GaloisInc/asl-translator#48, which performed a similar `what4` adaptation. * GaloisInc/semmc#78, which performed a similar `what4` adaptation. * GaloisIns/crucible#1068, which ensures that everything can build against `tasty-sugar >= 2.0` (the version of the library that `what4-1.4` depends on).		2023-03-21 16:05:53 -04:00
..
arm-asl-parser@afbeff2db4	Rename macaw-asl to macaw-aarch32	2020-04-05 15:16:39 -07:00
asl-translator@83e498bb68	Bump what4 submodule to version 1.4	2023-03-21 16:05:53 -04:00
bv-sized@57c5a0399e	Submodule updates (#291)	2022-05-24 18:45:23 -07:00
bv-sized-float@f18e76f244	Submodule updates (#291)	2022-05-24 18:45:23 -07:00
crucible@f4145fbed9	Bump what4 submodule to version 1.4	2023-03-21 16:05:53 -04:00
dismantle@48433e7ccb	Support building with GHC 9.2	2022-05-31 15:50:48 -04:00
dwarf@5c7101fc99	Support building with GHC 9.2	2022-05-31 15:50:48 -04:00
elf-edit@dc5eabec3c	Consistently use symbol table functionality from elf-edit	2023-02-23 17:16:12 -05:00
flexdis86@c19b55e3bf	Support building with GHC 9.2	2022-05-31 15:50:48 -04:00
grift@819a1fedf3	Support building with GHC 9.2	2022-05-31 15:50:48 -04:00
llvm-pretty@64d43d9375	Submodule updates (#291)	2022-05-24 18:45:23 -07:00
llvm-pretty-bc-parser@cbcf0954c2	Submodule updates (#291)	2022-05-24 18:45:23 -07:00
macaw-loader@f69f3a835a	Fix the default ppc32 ABI (#222)	2021-08-19 07:41:29 -07:00
semmc@5e77424525	Bump what4 submodule to version 1.4	2023-03-21 16:05:53 -04:00
softfloat-hs@a74bb916c4	Update softfloat-hs repo to eliminate manual build step (#265)	2022-03-04 15:49:36 -08:00
what4@6c462cd46e	Bump what4 submodule to version 1.4	2023-03-21 16:05:53 -04:00