Skip to content

Commit

Permalink
Bump submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
@robdockins
robdockins committed Nov 17, 2020
1 parent 3da17a5 commit 17227cf
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 2 files
+1 −2 crucible-saw/src/Lang/Crucible/Backend/SAWCore.hs
+1 −1 dependencies/saw-core
2 changes: 1 addition & 1 deletion deps/saw-core
Submodule saw-core updated 19 files
+1 −0 cryptol-saw-core/cryptol-saw-core.cabal
+128 −5 cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+25 −1 cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
+1 −0 saw-core-aig/saw-core-aig.cabal
+2 −1 saw-core-aig/src/Verifier/SAW/Simulator/BitBlast.hs
+1 −0 saw-core-sbv/saw-core-sbv.cabal
+19 −18 saw-core-sbv/src/Verifier/SAW/Simulator/SBV.hs
+1 −0 saw-core-what4/saw-core-what4.cabal
+79 −43 saw-core-what4/src/Verifier/SAW/Simulator/What4.hs
+1 −0 saw-core/saw-core.cabal
+3 −3 saw-core/src/Verifier/SAW/Conversion.hs
+109 −50 saw-core/src/Verifier/SAW/ExternalFormat.hs
+1 −1 saw-core/src/Verifier/SAW/SCTypeCheck.hs
+177 −29 saw-core/src/Verifier/SAW/SharedTerm.hs
+1 −1 saw-core/src/Verifier/SAW/Simulator/Concrete.hs
+2 −2 saw-core/src/Verifier/SAW/Simulator/RME.hs
+54 −7 saw-core/src/Verifier/SAW/Term/Functor.hs
+8 −2 saw-core/src/Verifier/SAW/Term/Pretty.hs
+1 −0 saw-core/src/Verifier/SAW/TypedAST.hs
2 changes: 1 addition & 1 deletion deps/saw-core-coq
Submodule saw-core-coq updated 2 files
+1 −0 saw-core-coq.cabal
+5 −1 src/Verifier/SAW/Translation/Coq/SpecialTreatment.hs

0 comments on commit 17227cf

Please sign in to comment.