Merge pull request #620 from GaloisInc/text-lambda

Update saw-core submodule and adapt to GaloisInc/saw-core#119.
GaloisInc · Jan 19, 2021 · 4d99990 · 4d99990
2 parents 79dee02 + 4f991ee
commit 4d99990
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs b/crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs
@@ -764,7 +764,7 @@ evaluateExpr sym sc cache = f []
               SAWExpr <$>
                 (SC.scBvForall sc w
                  =<< SC.scLambda sc nm ty =<< f (Just (B.bvarName bvar):env) body)
-              where nm = Text.unpack $ solverSymbolAsText $ B.bvarName bvar
+              where nm = solverSymbolAsText $ B.bvarName bvar
             _ -> unsupported sym "SAW backend only supports universal quantifiers over bitvectors"
         B.Exists{} ->
           unsupported sym "SAW backend does not support existential quantifiers"

diff --git a/dependencies/saw-core b/dependencies/saw-core
+29 −26		cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+2 −2		cryptol-saw-core/src/Verifier/SAW/TypedTerm.hs
+1 −1		saw-core-aig/src/Verifier/SAW/Simulator/BitBlast.hs
+6 −6		saw-core-sbv/src/Verifier/SAW/Simulator/SBV.hs
+6 −6		saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
+1 −0		saw-core/saw-core.cabal
+6 −6		saw-core/src/Verifier/SAW/ExternalFormat.hs
+2 −1		saw-core/src/Verifier/SAW/FiniteValue.hs
+7 −6		saw-core/src/Verifier/SAW/Grammar.y
+2 −2		saw-core/src/Verifier/SAW/Module.hs
+315 −0		saw-core/src/Verifier/SAW/Name.hs
+20 −15		saw-core/src/Verifier/SAW/OpenTerm.hs
+6 −5		saw-core/src/Verifier/SAW/Recognizer.hs
+19 −15		saw-core/src/Verifier/SAW/Rewriter.hs
+17 −14		saw-core/src/Verifier/SAW/SCTypeCheck.hs
+24 −83		saw-core/src/Verifier/SAW/SharedTerm.hs
+7 −1		saw-core/src/Verifier/SAW/Simulator/Concrete.hs
+2 −1		saw-core/src/Verifier/SAW/Simulator/Prims.hs
+9 −7		saw-core/src/Verifier/SAW/Simulator/Value.hs
+29 −28		saw-core/src/Verifier/SAW/Term/CtxTerm.hs
+11 −152		saw-core/src/Verifier/SAW/Term/Functor.hs
+46 −41		saw-core/src/Verifier/SAW/Term/Pretty.hs
+11 −9		saw-core/src/Verifier/SAW/Typechecker.hs
+1 −0		saw-core/src/Verifier/SAW/TypedAST.hs
+11 −3		saw-core/src/Verifier/SAW/UntypedAST.hs