submodule updates for the fast-f2 cryptol branch

GaloisInc · Oct 28, 2020 · da4dee8 · da4dee8
1 parent d12eb10
commit da4dee8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/cryptol b/deps/cryptol
diff --git a/deps/saw-core b/deps/saw-core
+1 −1		.github/ci.sh
+1 −1		cryptol-remote-api/src/CryptolServer/Data/Expression.hs
+4 −3		cryptol.cabal
+3 −33		lib/Cryptol.cry
+46 −0		lib/Cryptol/Reference.cry
+6 −6		src/Cryptol/Eval.hs
+28 −0		src/Cryptol/Eval/Concrete.hs
+1 −1		src/Cryptol/Eval/Value.hs
+48 −0		src/Cryptol/F2.hs
+1 −1		src/Cryptol/ModuleSystem.hs
+17 −15		src/Cryptol/ModuleSystem/Base.hs
+4 −0		src/Cryptol/Prelude.hs
+27 −20		src/Cryptol/Symbolic/SBV.hs
+17 −4		src/Cryptol/Symbolic/What4.hs
+4 −0		src/Cryptol/Utils/Ident.hs
+8 −8		tests/issues/T146.icry.stdout
+3 −3		tests/issues/T820.icry.stdout
+2 −2		tests/issues/issue290v2.icry.stdout
+2 −2		tests/issues/issue723.icry.stdout
+6 −6		tests/issues/issue910.icry.stdout
+33 −0		tests/regression/f2polytest.cry
+6 −0		tests/regression/f2polytest.icry
+94 −0		tests/regression/f2polytest.icry.stdout
+86 −86		tests/regression/instance.icry.stdout
+11 −11		tests/regression/tc-errors.icry.stdout
+10 −5		cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+27 −10		cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
+2 −2		saw-core/tests/src/Tests/Rewriter.hs