File tree
10 files changed
+10
-10
lines changed- deps
10 files changed
+10
-10
lines changed+1-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 |
| - | |
| 45 | + |
- .github/ci.sh+7-3
- .github/wix.ps1+3-3
- .github/workflows/ci.yml+36-19
- .gitignore+7
- .gitpod.Dockerfile+2-2
- CHANGES.md+30-3
- Dockerfile+1-1
- README.md+4-3
- cabal.GHC-8.10.7.config+40-40
- cabal.GHC-8.8.4.config+40-40
- cabal.GHC-9.0.2.config+40-40
- cabal.GHC-9.2.2.config+310
- cryptol-remote-api/CHANGELOG.md+4-2
- cryptol-remote-api/Dockerfile+3-3
- cryptol-remote-api/cryptol-remote-api.cabal+4-4
- cryptol-remote-api/ghc-portability.patch+8-8
- cryptol-remote-api/python/CHANGELOG.md+4-2
- cryptol-remote-api/python/pyproject.toml+2-2
- cryptol.cabal+6-6
- deps/argo+1-1
- src/Cryptol/AES.hs+4-2
- src/Cryptol/Backend/Monad.hs+2-2
- src/Cryptol/Eval.hs+3-3
- src/Cryptol/Eval/Env.hs+1-1
- src/Cryptol/Eval/Generic.hs+5-1
- src/Cryptol/Eval/Reference.lhs+5-5
- src/Cryptol/Eval/What4.hs+7-10
- src/Cryptol/IR/FreeVars.hs+1-1
- src/Cryptol/ModuleSystem/Env.hs+3-3
- src/Cryptol/ModuleSystem/Interface.hs+1-1
- src/Cryptol/ModuleSystem/Monad.hs+1-1
- src/Cryptol/ModuleSystem/Name.hs+1
- src/Cryptol/ModuleSystem/NamingEnv.hs+2
- src/Cryptol/ModuleSystem/Renamer/Monad.hs+1-1
- src/Cryptol/Parser.y+3-3
- src/Cryptol/Parser/Layout.hs+4-2
- src/Cryptol/Parser/NoInclude.hs+2-2
- src/Cryptol/Parser/NoPat.hs+4-2
- src/Cryptol/Parser/ParserUtils.hs+6-4
- src/Cryptol/REPL/Command.hs+36-25
- src/Cryptol/REPL/Monad.hs+6-3
- src/Cryptol/Symbolic/SBV.hs+4-1
- src/Cryptol/Transform/MonoValues.hs+5-4
- src/Cryptol/Transform/Specialize.hs+3
- src/Cryptol/TypeCheck/CheckModuleInstance.hs+2
- src/Cryptol/TypeCheck/Error.hs+6-2
- src/Cryptol/TypeCheck/Infer.hs+2
- src/Cryptol/TypeCheck/Kind.hs+2
- src/Cryptol/TypeCheck/Monad.hs+4-4
- src/Cryptol/TypeCheck/Sanity.hs+2-2
- src/Cryptol/TypeCheck/SimpType.hs+2
- src/Cryptol/TypeCheck/TypePat.hs+25-1
- tests/issues/issue1344.icry+1
- tests/issues/issue1344.icry.stdout+4
- tests/issues/issue1344/A.cry+5
- tests/issues/issue1344/issue1344.cry+5
- tests/issues/issue1359.icry+7
- tests/issues/issue1359.icry.stdout+5
- win32/cryptol.wxs+2-2
- .github/update-freeze+7-4
- .github/workflows/ci.yaml+8-6
- cabal.project.freeze.ghc-8.10.7+38-37
- cabal.project.freeze.ghc-8.8.4+32-31
- cabal.project.freeze.ghc-9.0.2+39-38
- cabal.project.freeze.ghc-9.2.2+97
- src/Data/ElfEdit/Dynamic.hs+17-6
- src/Data/ElfEdit/HighLevel/Layout.hs+4-2
- tests/Makefile+4-1
- tests/Test.hs+39-2
- tests/fmax.c+11
- tests/fmax.elf
Submodule parameterized-utils updated 13 files
- parameterized-utils.cabal+5
- src/Data/Parameterized/Fin.hs+36
- src/Data/Parameterized/FinMap.hs+79
- src/Data/Parameterized/FinMap/Safe.hs+248
- src/Data/Parameterized/FinMap/Unsafe.hs+249
- src/Data/Parameterized/NatRepr.hs+28-3
- src/Data/Parameterized/Some.hs+7
- src/Data/Parameterized/Vector.hs+1-4
- test/Test/Fin.hs+22-3
- test/Test/FinMap.hs+393
- test/Test/Some.hs+74
- test/Test/Vector.hs+14-3
- test/UnitTest.hs+4
0 commit comments