Update submodule versions.

GaloisInc · May 15, 2021 · 60f2c4a · 60f2c4a
1 parent 7775bd8
commit 60f2c4a
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/deps/aig b/deps/aig
diff --git a/deps/crucible b/deps/crucible
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
+1 −2		aig.cabal
+1 −1		src/Data/AIG/Interface.hs
+2 −13		src/Data/AIG/Operations.hs
+2 −1		src/Data/AIG/Trace.hs
+14 −0		.github/update-freeze
+7 −7		.github/workflows/ci.yaml
+96 −0		cabal.project.freeze.ghc-8.10.4
+19 −14		cabal.project.freeze.ghc-8.8.4
+96 −0		cabal.project.freeze.ghc-9.0.1
+169 −171		src/Data/ElfEdit/Dynamic.hs
+2 −2		src/Data/ElfEdit/HighLevel/Types.hs
+3 −2		src/Data/ElfEdit/Prim/Ehdr.hs
+0 −5		stack-8.4.yaml
+0 −5		stack-8.6.yaml
+3 −2		tests/Test.hs
+3 −4		.github/workflows/ci.yaml
+1 −1		base/macaw-base.cabal
+71 −80		base/src/Data/Macaw/Analysis/FunctionArgs.hs
+11 −7		base/src/Data/Macaw/Analysis/RegisterUse.hs
+191 −145		base/src/Data/Macaw/Discovery.hs
+6 −4		base/src/Data/Macaw/Dwarf.hs
+35 −20		base/src/Data/Macaw/Memory/ElfLoader.hs
+2 −4		base/src/Data/Macaw/Utils/IncComp.hs
+1 −1		deps/elf-edit
+295 −295		x86/src/Data/Macaw/X86/ArchTypes.hs
+1 −0		parameterized-utils.cabal
+9 −0		src/Data/Parameterized/Classes.hs
+243 −0		src/Data/Parameterized/TH/GADT.hs
+83 −0		test/Test/TH.hs
+2 −0		test/UnitTest.hs