Search results

Warn when a non-wildcard pattern in a <code>cryproject.toml</code> file does not match anything

feature

projects

Status: Open.

Feature

#1881 In GaloisInc/cryptol;

· RyanGlScott opened on Jul 17, 2025

Cryptographic proof that proves with Boolector hangs with other solvers

Status: Open.

#1879 In GaloisInc/cryptol;

· jpziegler opened on Jul 15, 2025

Bad user experience with <code>:time</code>

low-hanging fruitFor issues that should be easy to fixFor issues that should be easy to fix

UXIssues related to the user experience (e.g., improved error messages)Issues related to the user experience (e.g., improved error messages)

Status: Open.

#1877 In GaloisInc/cryptol;

· brianhuffman opened on Jul 1, 2025

Panic when focused in a nested functor

bugSomething not working correctlySomething not working correctly

Status: Open.

#1872 In GaloisInc/cryptol;

· yav opened on Jun 19, 2025

Incorrect signature for <code>update</code> in cryptol book

bookThe "Programming in Cryptol" bookThe "Programming in Cryptol" book

Status: Open.

#1871 In GaloisInc/cryptol;

· danmatichuk opened on Jun 17, 2025

Inferred type uses type variable names that shadow module parameters

bugSomething not working correctlySomething not working correctly

low-hanging fruitFor issues that should be easy to fixFor issues that should be easy to fix

typecheckerIssues related to type-checking Cryptol code.Issues related to type-checking Cryptol code.

Status: Open.

#1867 In GaloisInc/cryptol;

· brianhuffman opened on Jun 9, 2025

Add more interactions between equality and ceiling division

bugSomething not working correctlySomething not working correctly

typecheckerIssues related to type-checking Cryptol code.Issues related to type-checking Cryptol code.

Status: Open.

#1864 In GaloisInc/cryptol;

· marsella opened on Jun 2, 2025

Add a General-Purpose Cryptol Model of Basic Abstract State Machines (ASMs)

docsLaTeX, markdown, literate haskell, or in-REPL documentationLaTeX, markdown, literate haskell, or in-REPL documentation

feature

Status: Open.

Task

#1861 In GaloisInc/cryptol;

· kiniry opened on May 24, 2025

· 

ASAP

Easy way to specify associated bit values for enums

Status: Open.

#1859 In GaloisInc/cryptol;

· podhrmic opened on May 21, 2025

Book: Add section on enums

bookThe "Programming in Cryptol" bookThe "Programming in Cryptol" book

docsLaTeX, markdown, literate haskell, or in-REPL documentationLaTeX, markdown, literate haskell, or in-REPL documentation

Status: Open.

#1855 In GaloisInc/cryptol;

· RyanGlScott opened on May 19, 2025

Manual: Mention that "enum" is short for "enumeration"

docsLaTeX, markdown, literate haskell, or in-REPL documentationLaTeX, markdown, literate haskell, or in-REPL documentation

enumsIssues related to enumsIssues related to enums

low-hanging fruitFor issues that should be easy to fixFor issues that should be easy to fix

Status: Open.

#1854 In GaloisInc/cryptol;

· RyanGlScott opened on May 19, 2025

More interactions between <code>width</code> and exponentiation

numeric-solver

typecheckerIssues related to type-checking Cryptol code.Issues related to type-checking Cryptol code.

Status: Open.

#1850 In GaloisInc/cryptol;

· yav opened on Apr 30, 2025