bump elf-edit and macaw

GaloisInc · Feb 22, 2024 · fc51759 · fc51759
1 parent 313b2d5
commit fc51759
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/macaw b/deps/macaw
+1 −1		src/Data/ElfEdit.hs
+6 −18		src/Data/ElfEdit/HighLevel/Get.hs
+6 −16		src/Data/ElfEdit/HighLevel/Layout.hs
+1 −7		src/Data/ElfEdit/HighLevel/Types.hs
+1 −1		base/src/Data/Macaw/AbsDomain/AbsState.hs
+1 −0		macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs
+8 −8		symbolic/src/Data/Macaw/Symbolic/Memory/Common.hs
+6 −0		x86/src/Data/Macaw/X86/Semantics.hs
+50 −27		x86_symbolic/src/Data/Macaw/X86/Crucible.hs