Update submodule versions.

GaloisInc · Oct 25, 2021 · bf6e453 · bf6e453
1 parent af6dd36
commit bf6e453
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/deps/crucible b/deps/crucible
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/llvm-pretty b/deps/llvm-pretty
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
+10 −4		.github/Dockerfile-crux-llvm
+4 −3		.github/Dockerfile-crux-mir
+2 −1		.github/ci.sh
+11 −11		cabal.GHC-8.10.2.config
+11 −11		cabal.GHC-8.10.4.config
+12 −12		cabal.GHC-8.6.5.config
+11 −11		cabal.GHC-8.8.4.config
+1 −1		crux-llvm/crux-llvm.cabal
+2 −2		crux-mir/crux-mir.cabal
+46 −30		crux-mir/src/Mir/JSON.hs
+2 −2		crux/crux.cabal
+22 −9		crux/src/Crux/SVCOMP.hs
+0 −11		uc-crux-llvm/src/UCCrux/LLVM/Errors/Unimplemented.hs
+3 −0		uc-crux-llvm/src/UCCrux/LLVM/FullType/MemType.hs
+101 −0		uc-crux-llvm/src/UCCrux/LLVM/FullType/Memory.hs
+36 −0		uc-crux-llvm/src/UCCrux/LLVM/FullType/StorageType.hs
+7 −0		uc-crux-llvm/src/UCCrux/LLVM/FullType/Type.hs
+4 −11		uc-crux-llvm/src/UCCrux/LLVM/Overrides/Skip.hs
+2 −2		uc-crux-llvm/src/UCCrux/LLVM/Overrides/Unsound.hs
+1 −3		uc-crux-llvm/src/UCCrux/LLVM/Run/Simulate.hs
+49 −84		uc-crux-llvm/src/UCCrux/LLVM/Setup.hs
+85 −0		uc-crux-llvm/src/UCCrux/LLVM/Setup/Constraints.hs
+22 −81		uc-crux-llvm/src/UCCrux/LLVM/Setup/Monad.hs
+3 −3		uc-crux-llvm/src/UCCrux/LLVM/Stats.hs
+9 −5		uc-crux-llvm/uc-crux-llvm.cabal
+2 −2		cryptol.cabal
+0 −0		docs/.nojekyll
+0 −0		docs/RefMan/.gitignore
+117 −6		docs/RefMan/RefMan.rst
+ −		docs/RefMan/_build/doctrees/RefMan.doctree
+ −		docs/RefMan/_build/doctrees/environment.pickle
+4 −0		docs/RefMan/_build/html/.buildinfo
+0 −0		docs/RefMan/_build/html/.nojekyll
+1,411 −0		docs/RefMan/_build/html/RefMan.html
+1,248 −0		docs/RefMan/_build/html/_sources/RefMan.rst.txt
+676 −0		docs/RefMan/_build/html/_static/basic.css
+261 −0		docs/RefMan/_build/html/_static/classic.css
+1 −0		docs/RefMan/_build/html/_static/css/badge_only.css
+ −		docs/RefMan/_build/html/_static/css/fonts/Roboto-Slab-Bold.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/Roboto-Slab-Bold.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/Roboto-Slab-Regular.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/Roboto-Slab-Regular.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/fontawesome-webfont.eot
+2,671 −0		docs/RefMan/_build/html/_static/css/fonts/fontawesome-webfont.svg
+ −		docs/RefMan/_build/html/_static/css/fonts/fontawesome-webfont.ttf
+ −		docs/RefMan/_build/html/_static/css/fonts/fontawesome-webfont.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/fontawesome-webfont.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-bold-italic.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-bold-italic.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-bold.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-bold.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-normal-italic.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-normal-italic.woff2
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-normal.woff
+ −		docs/RefMan/_build/html/_static/css/fonts/lato-normal.woff2
+4 −0		docs/RefMan/_build/html/_static/css/theme.css
+315 −0		docs/RefMan/_build/html/_static/doctools.js
+10 −0		docs/RefMan/_build/html/_static/documentation_options.js
+ −		docs/RefMan/_build/html/_static/file.png
+ −		docs/RefMan/_build/html/_static/fonts/Inconsolata-Bold.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Inconsolata-Regular.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Inconsolata.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato-Bold.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato-Regular.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bold.eot
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bold.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bold.woff
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bold.woff2
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bolditalic.eot
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bolditalic.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bolditalic.woff
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-bolditalic.woff2
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-italic.eot
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-italic.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-italic.woff
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-italic.woff2
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-regular.eot
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-regular.ttf
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-regular.woff
+ −		docs/RefMan/_build/html/_static/fonts/Lato/lato-regular.woff2
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab-Bold.ttf
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab-Regular.ttf
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-bold.eot
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-bold.ttf
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-bold.woff2
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-regular.eot
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-regular.ttf
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff
+ −		docs/RefMan/_build/html/_static/fonts/RobotoSlab/roboto-slab-v7-regular.woff2
+ −		docs/RefMan/_build/html/_static/fonts/fontawesome-webfont.eot
+2,671 −0		docs/RefMan/_build/html/_static/fonts/fontawesome-webfont.svg
+ −		docs/RefMan/_build/html/_static/fonts/fontawesome-webfont.ttf
+ −		docs/RefMan/_build/html/_static/fonts/fontawesome-webfont.woff
+ −		docs/RefMan/_build/html/_static/fonts/fontawesome-webfont.woff2
+10,365 −0		docs/RefMan/_build/html/_static/jquery.js
+1 −0		docs/RefMan/_build/html/_static/js/badge_only.js
+4 −0		docs/RefMan/_build/html/_static/js/html5shiv-printshiv.min.js
+4 −0		docs/RefMan/_build/html/_static/js/html5shiv.min.js
+4 −0		docs/RefMan/_build/html/_static/js/modernizr.min.js
+1 −0		docs/RefMan/_build/html/_static/js/theme.js
+297 −0		docs/RefMan/_build/html/_static/language_data.js
+ −		docs/RefMan/_build/html/_static/minus.png
+ −		docs/RefMan/_build/html/_static/plus.png
+69 −0		docs/RefMan/_build/html/_static/pygments.css
+481 −0		docs/RefMan/_build/html/_static/searchtools.js
+159 −0		docs/RefMan/_build/html/_static/sidebar.js
+1,707 −0		docs/RefMan/_build/html/_static/underscore.js
+203 −0		docs/RefMan/_build/html/genindex.html
+7 −0		docs/RefMan/_build/html/objects.inv
+215 −0		docs/RefMan/_build/html/search.html
+1 −0		docs/RefMan/_build/html/searchindex.js
+4 −2		docs/RefMan/conf.py
+10 −0		docs/index.html
+144 −144		Primitive/Keyless/Hash/SHA2/SHA.cry
+32 −32		Primitive/Keyless/Hash/SHA2/SHA224.cry
+1 −1		Primitive/Keyless/Hash/SHA2/SHA256.cry
+1 −1		Primitive/Keyless/Hash/SHA2/SHA384.cry
+1 −1		Primitive/Keyless/Hash/SHA2/SHA512.cry
+1 −1		Primitive/Keyless/Hash/SHA2/SHA512_224.cry
+1 −1		Primitive/Keyless/Hash/SHA2/SHA512_256.cry
+0 −9		Primitive/Keyless/Hash/SHAKE/SHAKE.cry
+29 −15		Primitive/Keyless/Hash/SHAKE/SHAKE128.cry
+25 −10		Primitive/Keyless/Hash/SHAKE/SHAKE256.cry
+2 −2		data/optable.xml
+63 −4		src/Flexdis86/Assembler.hs
+3 −8		tests/Assemble.hs
+15 −1		Changelog.md
+5 −0		README.md
+13 −3		parameterized-utils.cabal
+1 −1		src/Data/Parameterized/ClassesC.hs
+11 −0		src/Data/Parameterized/Context/Safe.hs
+11 −0		src/Data/Parameterized/Context/Unsafe.hs
+111 −0		src/Data/Parameterized/Fin.hs
+20 −0		src/Data/Parameterized/List.hs
+6 −1		src/Data/Parameterized/TraversableFC.hs
+175 −0		src/Data/Parameterized/TraversableFC/WithIndex.hs
+57 −2		src/Data/Parameterized/Vector.hs
+53 −1		test/Test/Context.hs
+68 −0		test/Test/Fin.hs
+132 −8		test/Test/Vector.hs
+2 −0		test/UnitTest.hs