Merge pull request #1583 from GaloisInc/update-deps

Update submodule versions.
GaloisInc · Feb 15, 2022 · 64cf8b1 · 64cf8b1
2 parents e746787 + bf20290
commit 64cf8b1
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/deps/argo b/deps/argo
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/macaw b/deps/macaw
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
diff --git a/deps/what4 b/deps/what4
+8 −3		.github/workflows/ci.yml
+3 −0		python/CHANGELOG.md
+188 −0		python/poetry.lock
+28 −5		python/pyproject.toml
+0 −3		python/requirements.txt
+0 −44		python/setup.py
+3 −1		src/Cryptol/Parser/NoInclude.hs
+12 −3		src/Cryptol/REPL/Command.hs
+1 −1		tests/modsys/T14.icry.stdout
+1 −1		tests/modsys/T14.icry.stdout.mingw32
+1 −1		tests/modsys/T16.icry.stdout
+1 −1		tests/modsys/T16.icry.stdout.mingw32
+1 −1		tests/modsys/T18.icry.stdout
+1 −1		tests/modsys/T18.icry.stdout.mingw32
+4 −0		tests/modsys/relative-include/A/B/C.cry
+2 −0		tests/modsys/relative-include/A/B/D/E/F.cry
+2 −0		tests/modsys/relative-include/A/B/G/H.pcry
+1 −0		tests/modsys/relative-include/A/B/G/I.pcry
+1 −0		tests/modsys/relative-include/relative-include.icry
+4 −0		tests/modsys/relative-include/relative-include.icry.stdout
+29 −0		.github/workflows/ci.yml
+9 −7		Primitive/Asymmetric/Signature/Dilithium/Round1/DilithiumBitVec.cry
+13 −11		Primitive/Asymmetric/Signature/Dilithium/Round1/DilithiumInteger.cry
+9 −6		Primitive/Asymmetric/Signature/Dilithium/Round2/DilithiumParameterized.cry
+0 −65		Primitive/Asymmetric/Signature/Dilithium/Utils.cry
+0 −239		Primitive/Asymmetric/Signature/trash/DilithiumBv.cry
+1 −0		Primitive/Keyless/Hash/SHAKE/SHAKE128.cry
+1 −0		Primitive/Keyless/Hash/SHAKE/SHAKE256.cry
+53 −0		scripts/load_all_cry_files.sh
+59 −1		macaw-aarch32/src/Data/Macaw/ARM/Arch.hs
+11 −5		symbolic/src/Data/Macaw/Symbolic/Memory.hs
+15 −13		.github/workflows/test.yml
+9 −0		Changelog.md
+3 −3		parameterized-utils.cabal
+1 −0		src/Data/Parameterized/Context/Unsafe.hs
+8 −3		src/Data/Parameterized/NatRepr.hs
+2 −2		src/Data/Parameterized/NatRepr/Internal.hs
+10 −2		src/Data/Parameterized/TH/GADT.hs
+4 −1		src/Data/Parameterized/Vector.hs
+1 −1		test/Test/Vector.hs
+1 −1		what4/src/What4/Protocol/SMTWriter.hs
+31 −0		what4/test/ExprBuilderSMTLib2.hs