Download Latest Version cryptol-3.3.0-windows-2019-X64-with-solvers.tar.gz (103.0 MB)
Email in envelope

Get an email when there's a new version of Cryptol

Home / 3.2.0
Name Modified Size InfoDownloads / Week
Parent folder
cryptol-3.2.0.tar.gz 2024-08-20 35.9 MB
0
cryptol-3.2.0.zip 2024-08-20 36.4 MB
0
cryptol-3.2.0-windows-2019-X64.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-windows-2019-X64-with-solvers.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-windows-2019-X64.tar.gz 2024-08-20 62.0 MB
0
cryptol-3.2.0-windows-2019-X64-with-solvers.tar.gz 2024-08-20 99.9 MB
0
cryptol-3.2.0-ubuntu-20.04-X64-with-solvers.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-ubuntu-20.04-X64-with-solvers.tar.gz 2024-08-20 84.6 MB
0
cryptol-3.2.0-ubuntu-20.04-X64.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-ubuntu-20.04-X64.tar.gz 2024-08-20 44.7 MB
0
cryptol-3.2.0-ubuntu-22.04-X64-with-solvers.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-ubuntu-22.04-X64-with-solvers.tar.gz 2024-08-20 85.8 MB
0
cryptol-3.2.0-ubuntu-22.04-X64.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-ubuntu-22.04-X64.tar.gz 2024-08-20 44.7 MB
0
cryptol-3.2.0-macos-14-ARM64-with-solvers.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-macos-14-ARM64-with-solvers.tar.gz 2024-08-20 94.3 MB
0
cryptol-3.2.0-macos-14-ARM64.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-macos-14-ARM64.tar.gz 2024-08-20 65.3 MB
0
cryptol-3.2.0-macos-12-X64-with-solvers.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-macos-12-X64-with-solvers.tar.gz 2024-08-20 59.5 MB
0
cryptol-3.2.0-macos-12-X64.tar.gz.sig 2024-08-20 566 Bytes
0
cryptol-3.2.0-macos-12-X64.tar.gz 2024-08-20 24.4 MB
0
3.2.0 source code.tar.gz 2024-08-20 35.9 MB
0
3.2.0 source code.zip 2024-08-20 36.4 MB
0
README.md 2024-08-20 1.2 kB
0
Totals: 25 Items   809.8 MB 0

Language changes

  • Add implicit imports for non-anonymous modules defined by functor instantiation. For details, see [#1691].

Bug fixes

  • Fix [#1685], which caused Cryptol to panic when given a local definition without a type signature that uses numeric constraint guards.

  • Fix [#1593] and [#1693], two related bugs that would cause Cryptol to panic when checking ill-typed constraint guards for exhaustivity.

  • Fix [#1675], which could cause PrimeEC to produce incorrect results.

  • Fix [#1489], which allows for the type checker to reason about exponents.

New features

  • New REPL command :focus enables specifying a submodule scope for evaluating expressions.

repl :focus submodule M :browse

  • New REPL command :check-docstrings extracts code-blocks from docstring comments from a module. Code blocks can be delimited with three-or-more backticks using the language "repl". Code blocks are evaluated in a local REPL context and checked to pass.

cryptol /** * ```repl * :exhaust f * ``` */ f : [8] -> Bool f x = x + 1 - 1 == x

Source: README.md, updated 2024-08-20