Use heapster updated for new hobbits

GaloisInc · May 10, 2021 · 63e5784 · 63e5784
1 parent a5fcc84
commit 63e5784
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
+62 −53		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
+50 −43		src/Verifier/SAW/Heapster/SAWTranslation.hs
+8 −4		src/Verifier/SAW/Heapster/TypedCrucible.hs