Bump cryptol from 3.1.1 to 3.2.0 in /saw-remote-api/python

[dependabot]

Bumps cryptol from 3.1.1 to 3.2.0.

Release notes

Sourced from cryptol's releases.

3.2.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.

  :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.

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

Changelog

Sourced from cryptol's changelog.

3.2.0 -- 2024-08-20

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.

  :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.

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

3.1.0 -- 2024-02-05

Language changes

• Cryptol now supports enum declarations. An enum is a named typed which is defined by one or more constructors. Enums correspond to the notion of

... (truncated)

Commits

• 1bcb75c Add 3.2.0 tag to cryptol.cabal
• afb8730 Cryptol 3.2 Release: Update Cabal version numbers.
• 8ea4fca Prepare Cryptol 3.2 release: Updates to changelog
• cc3b3fb Define tIsNominal and use it (#1733)
• 2fb70e6 Gracefully skip docstrings on top-level functors (#1730)
• 1f15ca6 Don't report an error on unclosed, skipped code fence (#1728)
• 1f6f880 Functor docstrings (#1726)
• df4c9df Initial implementation of check docstrings from python (#1712)
• c650eb2 Propagate nested relation when instantiating functors (#1720)
• f489ff8 Merge pull request #1716 from GaloisInc/T1714-reference-eval-float
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)