Merge pull request #1212 from GaloisInc/update-deps

Update submodules.
GaloisInc · Apr 26, 2021 · 054a31f · 054a31f
2 parents f17809e + eca4c7f
commit 054a31f
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
diff --git a/deps/elf-edit b/deps/elf-edit
diff --git a/deps/flexdis86 b/deps/flexdis86
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
diff --git a/deps/saw-core b/deps/saw-core
diff --git a/deps/what4 b/deps/what4
+11 −8		.github/ci.sh
+0 −242		.github/workflows/build.yml
+347 −0		.github/workflows/ci.yml
+0 −50		.github/workflows/docker.yml
+0 −187		.github/workflows/nightly.yml
+0 −12		.github/workflows/pr-labeler.yml
+40 −1		CHANGES.md
+18 −13		README.md
+13 −9		cryptol-remote-api/Dockerfile
+6 −1		cryptol-remote-api/cryptol-eval-server/Main.hs
+9 −0		cryptol-remote-api/cryptol-remote-api.cabal
+6 −1		cryptol-remote-api/cryptol-remote-api/Main.hs
+163 −50		cryptol-remote-api/python/README.md
+34 −9		cryptol-remote-api/python/cryptol/__init__.py
+1 −1		cryptol-remote-api/python/requirements.txt
+10 −1		cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py
+0 −0		cryptol-remote-api/python/tests/cryptol_eval/test-files/M.cry
+58 −1		cryptol-remote-api/python/tests/cryptol_eval/test_basics.py
+21 −0		cryptol-remote-api/src/CryptolServer/ClearState.hs
+1 −1		cryptol-remote-api/src/CryptolServer/Data/Type.hs
+2 −5		cryptol-remote-api/test_docker.sh
+9 −3		cryptol.cabal
+1 −1		helm/cryptol-remote-api/values.yaml
+17 −3		src/Cryptol/Backend/FloatHelpers.hs
+2 −2		tests/regression/float.icry.stdout
+309 −0		Common/LUP.cry
+92 −0		Common/pick.cry
+1 −1		README.md
+67 −2		src/Data/ElfEdit/Dynamic/Tag.hs
+131 −8		src/Data/ElfEdit/Prim/Ehdr.hs
+12 −17		src/Data/ElfEdit/Prim/Phdr.hs
+26 −2		src/Data/ElfEdit/Prim/Shdr.hs
+137 −4		src/Data/ElfEdit/Relocations/ARM32.hs
+11 −4		src/Data/ElfEdit/Relocations/I386.hs
+33 −10		src/Data/ElfEdit/Relocations/X86_64.hs
+42 −0		.github/workflows/ci.yaml
+7 −5		.gitignore
+0 −32		.travis.yml
+6 −0		cabal.project.dist
+100 −0		cabal.project.ghc-8.10.4.freeze
+2 −0		cabal.project.werror
+1 −1		data/optable.xml
+1 −1		deps/elf-edit
+2 −1		flexdis86.cabal
+7 −2		src/Flexdis86/Assembler.hs
+0 −1		src/Flexdis86/Segment.hs
+1 −1		tests/Assemble.hs
+4 −1		tests/Roundtrip.hs
+0 −1		utils/DumpInstr.hs
+6 −30		saw-core-coq/coq/_CoqProject
+0 −51		saw-core-coq/coq/generated/MEE_CBC.v
+0 −221		saw-core-coq/coq/generated/S2N/LICENSE
+0 −2		saw-core-coq/coq/generated/S2N/NOTICE
+0 −11		saw-core-coq/coq/generated/S2N/README
+0 −2,698		saw-core-coq/coq/generated/S2N/S2N.v
+0 −309		saw-core-coq/coq/handwritten/Lift/Connection.v
+0 −115		saw-core-coq/coq/handwritten/Lift/Handshake.v
+0 −496		saw-core-coq/coq/handwritten/Lift/HandshakeAction.v
+0 −167		saw-core-coq/coq/handwritten/Lift/Minimal.v
+0 −113		saw-core-coq/coq/handwritten/Lift/S2N.v
+0 −50		saw-core-coq/coq/handwritten/Lift/SAWCorePrelude.v
+0 −655		saw-core-coq/coq/handwritten/MEE_CBC_proofs.v
+0 −349		saw-core-coq/coq/handwritten/S2N/Embedding.v
+0 −45		saw-core-coq/coq/handwritten/S2N/Pointed.v
+0 −973		saw-core-coq/coq/handwritten/S2N/S2N_proofs.v
+0 −99		saw-core-coq/coq/handwritten/S2N/Translation/Connection.v
+0 −45		saw-core-coq/coq/handwritten/S2N/Translation/Handshake.v
+0 −50		saw-core-coq/coq/handwritten/S2N/Translation/HandshakeAction.v
+0 −71		saw-core-coq/cryptol/HMAC.cry
+0 −66		saw-core-coq/cryptol/MEE_CBC.cry
+0 −188		saw-core-coq/cryptol/SHA256.cry
+0 −2		saw-core-coq/saw/generate_MEE_CBC.saw
+4 −0		saw-core-what4/src/Verifier/SAW/Simulator/What4.hs