List view

Improve pretty printing of values

feature requestAsking for new or improved functionalityAsking for new or improved functionality

Status: Open.

#147 In GaloisInc/cryptol;

· weaversa opened on Nov 27, 2014

add :smartcheck command

feature requestAsking for new or improved functionalityAsking for new or improved functionality

researchA difficult problem that we don't know how to solve and may require additional academic research.A difficult problem that we don't know how to solve and may require additional academic research.

Status: Open.

#87 In GaloisInc/cryptol;

· kiniry opened on Sep 5, 2014

verify the Cryptol interpreter against the mechanized formal semantics

feature requestAsking for new or improved functionalityAsking for new or improved functionality

researchA difficult problem that we don't know how to solve and may require additional academic research.A difficult problem that we don't know how to solve and may require additional academic research.

semanticsIssues related to the dynamic semantics of Cryptol.Issues related to the dynamic semantics of Cryptol.

Status: Open.

#44 In GaloisInc/cryptol;

· kiniry opened on Jun 23, 2014

GADT style matching on numeric types

languageChanges or extensions to the languageChanges or extensions to the language

Status: Open.

#701 In GaloisInc/cryptol;

· yav opened on Apr 15, 2020

Add a type for working with reals

languageChanges or extensions to the languageChanges or extensions to the language

Status: Open.

#623 In GaloisInc/cryptol;

· yav opened on Jun 25, 2019

add rigor to the prelude

feature requestAsking for new or improved functionalityAsking for new or improved functionality

Status: Open.

#48 In GaloisInc/cryptol;

· kiniry opened on Jun 23, 2014

Please document random and deepseq

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

Status: Open.

#1001 In GaloisInc/cryptol;

· ramsdell opened on Dec 8, 2020

Context Aware TAB Completion

feature requestAsking for new or improved functionalityAsking for new or improved functionality

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

Status: Open.

#739 In GaloisInc/cryptol;

· weaversa opened on May 27, 2020

Draft: 1861 add a general purpose cryptol model of basic abstract state machines asms

algorithms in CryptolRequires writing Cryptol code, rather than modifying the implementation's source codeRequires writing Cryptol code, rather than modifying the implementation's source code

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

Status: Open (in progress).

GaloisInc/cryptolnumber 1862

#1862 In GaloisInc/cryptol;

· kiniry opened on May 27, 2025