Issues

• Cryptol doesn't emit Unused name warnings when it should

  UX
  GaloisInc/cryptol#2123 · Filter by author RyanGlScott opened on Aug 28, 2026
  1

• Generalize DynamicEnv

  feature request
  GaloisInc/cryptol#2120 · Filter by author yav opened on Aug 26, 2026

• Add value-level counterparts to (/^) and (%^)

  feature request
  GaloisInc/cryptol#2119 · Filter by author RyanGlScott opened on Aug 26, 2026

• Confusing unused names warnings with prop guards

  GaloisInc/cryptol#2096 · Filter by author yav opened on Jul 21, 2026

• Add even/odd functions to the Cryptol prelude

  feature request
  GaloisInc/cryptol#2084 · Filter by author RyanGlScott opened on Jul 15, 2026

• Nightly Cryptol regression: type synonyms aren't preserved after typechecking

  typechecker
  GaloisInc/cryptol#2082 · Filter by author RyanGlScott opened on Jun 24, 2026
  2

• Concrete backend and reference evaluator have different Integer division semantics

  bug
  GaloisInc/cryptol#2060 · Filter by author RyanGlScott opened on May 21, 2026
  4

• Tests fail with sbv > 11.0

  CI
  GaloisInc/cryptol#2054 · Filter by author sauclovian-g opened on May 14, 2026
  4

• Add explicit types for signed/unsigned words

  feature request
  GaloisInc/cryptol#2015 · Filter by author yav opened on Mar 26, 2026
  4

• Update remote API to not use deprecated sections

  remote-api
  GaloisInc/cryptol#2007 · Filter by author yav opened on Mar 11, 2026

• Make Literal val1 a constraints imply Literal val2 a for all val2 <= val1

  feature requesttypechecker
  GaloisInc/cryptol#2003 · Filter by author RyanGlScott opened on Mar 3, 2026

• Support symbolic floats with SBV-based provers

  feature request
  GaloisInc/cryptol#1997 · Filter by author RyanGlScott opened on Feb 20, 2026
  1

  

• REPL: Support printing docstrings for modules

  command-line-replfeature request
  GaloisInc/cryptol#1994 · Filter by author RyanGlScott opened on Feb 12, 2026

• Dynamic functor instantiation with the remote API

  feature requestparameterized modulesremote-api
  GaloisInc/cryptol#1993 · Filter by author yav opened on Feb 12, 2026

• Make the remote API and Python bindings aware of interface modules

  feature requestparameterized modulespythonremote-api
  Feature

  GaloisInc/cryptol#1987 · Filter by author RyanGlScott opened on Feb 10, 2026

• Add SAW FFI

  feature requestFFI
  GaloisInc/cryptol#1984 · Filter by author yav opened on Feb 4, 2026

• Allow referring to type synonym in functor instantiation

  feature requestparameterized modules
  GaloisInc/cryptol#1968 · Filter by author RyanGlScott opened on Jan 19, 2026
  1

• Cryptol reserves pragma keyword unnecessarily

  bugparser
  GaloisInc/cryptol#1955 · Filter by author RyanGlScott opened on Dec 18, 2025
  1

• Treat interrupting tests like failure

  cryptol-quickchecklow-hanging fruitprojects
  GaloisInc/cryptol#1953 · Filter by author yav opened on Dec 17, 2025

• :? ~ doesn't work as intended

  buglow-hanging fruit
  GaloisInc/cryptol#1952 · Filter by author amaloz opened on Dec 12, 2025
  5

• Clarify error message arising from explicitly applying type parameters to function without type signature

  low-hanging fruittypecheckerUX
  GaloisInc/cryptol#1938 · Filter by author RyanGlScott opened on Nov 13, 2025

• docs: Consolidate documents into reference manual and "Programming in Cryptol" book

  bookdocs
  GaloisInc/cryptol#1932 · Filter by author qsctr opened on Nov 7, 2025
  1

• Poor pretty-printing of case expressions in :sat output

  low-hanging fruitUX
  GaloisInc/cryptol#1931 · Filter by author RyanGlScott opened on Nov 6, 2025
  1

• Cryptol REPL doesn't warn about shadowing type names

  GaloisInc/cryptol#1927 · Filter by author brianhuffman opened on Nov 4, 2025
  1

• aarch64-linux release binaries

  GaloisInc/cryptol#1921 · Filter by author thoughtpolice opened on Oct 18, 2025