Merge pull request #1288 from GaloisInc/glguy/new-hobbits

Build using heapster-saw updated for new hobbits
GaloisInc · May 10, 2021 · 0fc9709 · 0fc9709
2 parents a5fcc84 + 66116aa
commit 0fc9709
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/cabal.GHC-8.10.4.config b/cabal.GHC-8.10.4.config
@@ -159,7 +159,7 @@ constraints: any.Cabal ==3.2.1.0,
              any.haskell-src-meta ==0.8.7,
              any.hedgehog ==1.0.4,
              any.heredoc ==0.2.0.0,
-             any.hobbits ==1.3.2,
+             any.hobbits ==1.4,
              any.hostname ==1.0,
              any.hourglass ==0.2.12,
              any.hpc ==0.6.1.0,

diff --git a/cabal.project b/cabal.project
@@ -38,4 +38,4 @@ packages:
 source-repository-package
     type: git
     location: https://github.com/eddywestbrook/hobbits.git
-    tag: 7a089106cebf09e69d4b448bd4b92f1033ce232b
+    tag: e5918895396b6bcee2fc39f6bd0d77a90a52ba5f
diff --git a/deps/heapster-saw b/deps/heapster-saw
+9 −9		examples/rust_data.saw
+78 −78		examples/rust_data.v
+1 −1		heapster-saw.cabal
+16 −10		src/Verifier/SAW/Heapster/IRTTranslation.hs
+61 −52		src/Verifier/SAW/Heapster/Implication.hs
+13 −0		src/Verifier/SAW/Heapster/PermParser.hs
+63 −30		src/Verifier/SAW/Heapster/Permissions.hs
+167 −48		src/Verifier/SAW/Heapster/RustTypes.hs
+51 −44		src/Verifier/SAW/Heapster/SAWTranslation.hs
+8 −4		src/Verifier/SAW/Heapster/TypedCrucible.hs