Skip to content

Commit

Permalink
EXPERIMENT: Bump cryptol submodule to include GaloisInc/cryptol#1526 …
Browse files Browse the repository at this point in the history 
…changes
  • Loading branch information
@RyanGlScott
RyanGlScott committed Jan 21, 2025
1 parent 15acd46 commit 8aaf505
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/cryptol
Submodule cryptol updated 32 files
+4 −0 CHANGES.md
+1 −1 cryptol-remote-api/python/tests/cryptol/test_filedeps.py
+1 −1 cryptol-remote-api/src/CryptolServer.hs
+4 −2 cryptol-remote-api/src/CryptolServer/Exceptions.hs
+2 −1 cryptol-remote-api/src/CryptolServer/FileDeps.hs
+21 −9 cryptol-repl-internal/REPL/Haskeline.hs
+9 −2 cryptol.cabal
+66 −21 cryptol/Main.hs
+132 −0 docs/RefMan/Project.rst
+1 −0 docs/RefMan/RefMan.rst
+1 −0 examples/AE.cry
+59 −27 src/Cryptol/ModuleSystem/Base.hs
+32 −13 src/Cryptol/ModuleSystem/Env.hs
+30 −14 src/Cryptol/ModuleSystem/Fingerprint.hs
+21 −12 src/Cryptol/ModuleSystem/Monad.hs
+12 −10 src/Cryptol/Parser/NoInclude.hs
+21 −5 src/Cryptol/Parser/ParserUtils.hs
+205 −0 src/Cryptol/Project.hs
+126 −0 src/Cryptol/Project/Cache.hs
+62 −0 src/Cryptol/Project/Config.hs
+211 −0 src/Cryptol/Project/Monad.hs
+117 −62 src/Cryptol/REPL/Command.hs
+16 −0 src/Cryptol/REPL/Monad.hs
+25 −6 src/Cryptol/Utils/Ident.hs
+2 −2 tests/examples/allexamples.icry.stdout
+2 −0 tests/issues/T1440.cry
+5 −5 tests/issues/T1440.icry.stdout
+1 −0 tests/issues/T1494_1.cry
+2 −2 tests/issues/T1494_1.icry.stdout
+2 −0 tests/issues/issue731.cry
+1 −1 tests/issues/issue731.icry
+1 −1 tests/issues/issue731.icry.stdout

0 comments on commit 8aaf505

Please sign in to comment.