Skip to content

Commit

Permalink
Bump saw-core submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
Aaron Tomb committed Jan 21, 2021
1 parent 1e3beb8 commit b0df5ea
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/saw-core
Submodule saw-core updated 8 files
+1 −1 cryptol-saw-core/src/Verifier/SAW/Cryptol.hs
+22 −8 cryptol-saw-core/src/Verifier/SAW/CryptolEnv.hs
+2 −2 cryptol-saw-core/test/CryptolVerifierTC.hs
+1 −1 saw-core/src/Verifier/SAW/ExternalFormat.hs
+5 −1 saw-core/src/Verifier/SAW/Recognizer.hs
+19 −1 saw-core/src/Verifier/SAW/SharedTerm.hs
+11 −2 saw-core/src/Verifier/SAW/Simulator.hs
+10 −4 saw-core/src/Verifier/SAW/Typechecker.hs

0 comments on commit b0df5ea

Please sign in to comment.