Skip to content

Commit

Permalink
Update and adapt to GaloisInc/crucible#915.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Nov 13, 2021
1 parent 042e687 commit d01539c
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 7 files
+1 −1 crucible-llvm/src/Lang/Crucible/LLVM/Errors.hs
+33 −30 crucible-llvm/src/Lang/Crucible/LLVM/Errors/MemoryError.hs
+14 −22 crucible-llvm/src/Lang/Crucible/LLVM/MemModel.hs
+2 −2 crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Generic.hs
+3 −3 crucible-llvm/src/Lang/Crucible/LLVM/MemModel/Partial.hs
+2 −2 crux-llvm/test-data/golden/golden/invoke-test.good
+2 −2 uc-crux-llvm/src/UCCrux/LLVM/Classify.hs
2 changes: 1 addition & 1 deletion heapster-saw/src/Verifier/SAW/Heapster/CruUtil.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -288,7 +288,7 @@ instance NuMatching ByteString where
instance NuMatching (MemoryError sym) where
nuMatchingProof = unsafeMbTypeRepr

instance NuMatching (MemoryErrorReason sym w) where
instance NuMatching MemoryErrorReason where
nuMatchingProof = unsafeMbTypeRepr

instance NuMatching (FnHandle args ret) where
Expand Down

0 comments on commit d01539c

Please sign in to comment.