Update cryptol and saw-core submodules.

This includes GaloisInc/cryptol#964 as well as GaloisInc/saw-core#104, which adapts cryptol-saw-core to the changes in cryptol.
GaloisInc · Nov 20, 2020 · 13cf9c4 · 13cf9c4
1 parent e90c1f6
commit 13cf9c4
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		cryptol-remote-api/src/CryptolServer/Data/Type.hs
+2 −2		cryptol-remote-api/src/CryptolServer/Exceptions.hs
+2 −2		src/Cryptol/Eval/Type.hs
+5 −5		src/Cryptol/ModuleSystem/Base.hs
+11 −11		src/Cryptol/ModuleSystem/Monad.hs
+2 −2		src/Cryptol/REPL/Command.hs
+14 −0		src/Cryptol/TypeCheck.hs
+0 −1		src/Cryptol/TypeCheck/AST.hs
+10 −8		src/Cryptol/TypeCheck/CheckModuleInstance.hs
+183 −29		src/Cryptol/TypeCheck/Error.hs
+1 −1		src/Cryptol/TypeCheck/Infer.hs
+23 −21		src/Cryptol/TypeCheck/Monad.hs
+16 −13		src/Cryptol/TypeCheck/SimpType.hs
+4 −2		src/Cryptol/TypeCheck/SimpleSolver.hs
+2 −5		src/Cryptol/TypeCheck/Solve.hs
+54 −114		src/Cryptol/TypeCheck/Solver/Class.hs
+18 −35		src/Cryptol/TypeCheck/Solver/Numeric.hs
+1 −2		src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs
+0 −3		src/Cryptol/TypeCheck/Solver/SMT.hs
+5 −2		src/Cryptol/TypeCheck/Solver/Types.hs
+4 −11		src/Cryptol/TypeCheck/TCon.hs
+32 −27		src/Cryptol/TypeCheck/Type.hs
+3 −3		src/Cryptol/TypeCheck/TypePat.hs
+4 −4		tests/issues/T146.icry.stdout
+9 −11		tests/issues/T820.icry.stdout
+2 −3		tests/issues/issue101.icry.stdout
+12 −18		tests/issues/issue582.icry.stdout
+4 −6		tests/issues/issue835.icry.stdout
+20 −30		tests/issues/issue845.icry.stdout
+18 −22		tests/issues/issue910.icry.stdout
+2 −3		tests/issues/issue913.icry.stdout
+4 −6		tests/mono-binds/test04.icry.stdout
+8 −12		tests/regression/float.icry.stdout
+230 −321		tests/regression/instance.icry.stdout
+4 −6		tests/regression/primes.icry.stdout
+10 −11		tests/regression/tc-errors.icry.stdout
+1 −1		utils/CryTC.hs
+1 −1		cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+6 −6		cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs