Merge pull request #588 from GaloisInc/update-deps

Update dependency versions.
GaloisInc · Nov 13, 2019 · 90cd4da · 90cd4da
2 parents ba98388 + 627bc6f
commit 90cd4da
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 9 deletions.
diff --git a/deps/abcBridge b/deps/abcBridge
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/flexdis86 b/deps/flexdis86
diff --git a/deps/jvm-verifier b/deps/jvm-verifier
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
diff --git a/deps/saw-core-what4 b/deps/saw-core-what4
+16 −6		.appveyor.yml
+11 −13		.travis.yml
+15 −9		bench/Main.hs
+0 −501		bench/data/PreludeWithExtras.cry
+152 −0		cabal.GHC-8.4.4.config
+150 −0		cabal.GHC-8.6.5.config
+150 −0		cabal.GHC-8.8.1.config
+0 −123		cabal.GHC84.config
+0 −120		cabal.GHC86.config
+1 −2		cry
+1 −1		examples/contrib/CAST5.cry
+4 −1		src/Cryptol/Eval/Monad.hs
+19 −19		src/Cryptol/Eval/Value.hs
+2 −1		src/Cryptol/ModuleSystem/Base.hs
+3 −0		src/Cryptol/ModuleSystem/Monad.hs
+4 −1		src/Cryptol/Parser/NoInclude.hs
+0 −5		src/Cryptol/Parser/NoPat.hs
+4 −1		src/Cryptol/Parser/ParserUtils.hs
+32 −7		src/Cryptol/REPL/Command.hs
+3 −3		src/Cryptol/Testing/Random.hs
+36 −36		src/Cryptol/Transform/MonoValues.hs
+13 −16		src/Cryptol/Transform/Specialize.hs
+5 −5		src/Cryptol/TypeCheck/AST.hs
+14 −15		src/Cryptol/TypeCheck/Monad.hs
+0 −1		src/Cryptol/TypeCheck/Sanity.hs
+2 −1		src/Cryptol/TypeCheck/Solver/Numeric.hs
+6 −6		src/Cryptol/TypeCheck/Solver/Utils.hs
+5 −5		src/Cryptol/TypeCheck/Type.hs
+4 −1		src/Cryptol/Utils/Patterns.hs
+6 −6		tests/issues/T146.icry.stdout
+6 −8		tests/issues/allexamples.icry.stdout
+9 −9		tests/issues/issue058.icry.stdout
+1 −3		tests/issues/issue072.icry
+0 −24		tests/issues/issue072.icry.stdout
+1 −1		tests/issues/issue268.icry.stdout
+3 −3		tests/issues/issue290v2.icry.stdout
+4 −4		tests/issues/issue323.icry.stdout
+6 −6		tests/issues/issue416.icry.stdout
+1 −1		tests/issues/issue513.icry.stdout
+10 −10		tests/issues/issue582.icry.stdout
+1 −1		tests/mono-binds/test04.icry.stdout
+9 −9		tests/mono-binds/test05.icry.stdout
+2 −2		tests/parser/unary-2.icry.stdout
+5 −5		tests/regression/AES.icry.stdout
+1 −1		tests/regression/check01.icry.stdout
+1 −1		tests/regression/check02.icry.stdout
+2 −2		tests/regression/check04.icry.stdout
+2 −2		tests/regression/check05.icry.stdout
+2 −2		tests/regression/check06.icry.stdout
+8 −8		tests/regression/check07.icry.stdout
+2 −2		tests/regression/check08.icry.stdout
+11 −11		tests/regression/check09.icry.stdout
+2 −2		tests/regression/check11.icry.stdout
+1 −1		tests/regression/check14.icry.stdout
+1 −1		tests/regression/check16-tab.icry.stdout
+1 −1		tests/regression/check16.icry.stdout
+1 −1		tests/regression/check20.icry.stdout
+1 −1		tests/regression/check21.icry.stdout
+1 −1		tests/regression/check22.icry.stdout
+1 −1		tests/regression/check24.icry.stdout
+4 −4		tests/regression/check25.icry.stdout
+14 −14		tests/regression/check26.icry.stdout
+1 −1		tests/regression/check28.icry.stdout
+2 −2		tests/regression/check30.icry.stdout
+1 −1		tests/regression/check31.icry.stdout
+2 −2		tests/renamer/comp02.icry.stdout
+0 −48		McEliece_KEM/low-level/types.cry~
+ −		McEliece_KEM/spec/.DS_Store
+116 −0		Primitive/Asymmetric/Cipher/testRSADP.cry
+7 −0		Primitive/Asymmetric/Scheme/RSAES_PKCS1_v1_5_k_16.cry
+78 −0		Primitive/Asymmetric/Signature/DSA/DSA.cry
+11 −0		Primitive/Asymmetric/Signature/DSA/DSA_tests.cry
+17 −0		Primitive/Asymmetric/Signature/DSA/p1024_sha1.cry
+121 −69		Primitive/Asymmetric/Signature/Dilithium.cry
+28 −0		Primitive/Asymmetric/Signature/ECDSA/ECDSA_sign_tests.cry
+11 −2		Primitive/Asymmetric/Signature/ECDSA/ECDSA_tests.cry
+1 −0		Primitive/Asymmetric/Signature/ECDSA/p192.cry
+9 −1		Primitive/Keyless/Hash/keccak.cry
+38 −0		Primitive/Symmetric/Cipher/Authenticated/AES_GCM.cry
+7 −7		Primitive/Symmetric/Cipher/Authenticated/GCM.cry
+54 −0		Primitive/Symmetric/Cipher/Block/Modes/AES_CBC.cry
+33 −0		Primitive/Symmetric/Cipher/Block/Modes/AES_CFB.cry
+20 −0		Primitive/Symmetric/Cipher/Block/Modes/AES_CTR.cry
+21 −0		Primitive/Symmetric/Cipher/Block/Modes/CBC.cry
+21 −0		Primitive/Symmetric/Cipher/Block/Modes/CFB.cry
+28 −0		Primitive/Symmetric/Cipher/Block/Modes/CTR.cry
+30 −0		Primitive/Symmetric/Cipher/Block/Modes/TDES_CBC.cry
+31 −0		Primitive/Symmetric/Cipher/Block/Modes/TDES_CFB.cry
+0 −0		Primitive/Symmetric/Cipher/Stream/Salsa20.cry
+1 −1		base/macaw-base.cabal
+6 −5		base/src/Data/Macaw/AbsDomain/AbsState.hs
+414 −184		base/src/Data/Macaw/AbsDomain/JumpBounds.hs
+90 −51		base/src/Data/Macaw/CFG/App.hs
+6 −5		base/src/Data/Macaw/CFG/Core.hs
+1 −1		base/src/Data/Macaw/Discovery/State.hs
+10 −0		base/src/Data/Macaw/Memory.hs
+1 −1		deps/crucible
+1 −1		macaw-semmc/src/Data/Macaw/SemMC/TH.hs
+1 −0		stack-8.4.yaml
+1 −0		stack-8.6.yaml
+1 −1		submodules/semmc
+1 −1		x86/macaw-x86.cabal
+2 −4		x86/src/Data/Macaw/X86.hs
+74 −58		x86/src/Data/Macaw/X86/ArchTypes.hs
+0 −49		x86/src/Data/Macaw/X86/Monad.hs
+61 −65		x86/src/Data/Macaw/X86/Semantics.hs
+1 −1		x86_symbolic/macaw-x86-symbolic.cabal
+165 −134		x86_symbolic/src/Data/Macaw/X86/Crucible.hs
+1 −1		x86_symbolic/tests/Main.hs