Skip to content

Labels

Labels

49 labels

  • algorithms in Cryptol

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

  • book

    book
    The "Programming in Cryptol" book

  • bug

    bug
    Something not working correctly

  • build system

    build system
    Related to Cryptol's build system

  • CI

    CI
    Continuous integration

  • command-line-repl

    command-line-repl
    Related to Cryptol's text-based UI

  • cryptol-as-a-library

    cryptol-as-a-library
    Uses of Cryptol from Haskell

  • cryptol-quickcheck

    cryptol-quickcheck
    Related to REPL :check command

  • dependencies

    dependencies
    Pull requests that update a dependency file

  • design needed

    design needed
    We need to specify precisely what we want

  • distribution

    distribution
    Related to releases, binaries, etc.

  • Docker

    Docker
    Issues related to the Docker images

  • docs

    docs
    LaTeX, markdown, literate haskell, or in-REPL documentation

  • docstrings

    docstrings
    Related to Cryptol smart comments that might contain properties to test or validate

  • duplicate

    duplicate
    Essentially the same as another issue

  • enums

    enums
    Issues related to enums

  • exponential slowdown

    exponential slowdown
    Extreme performance problems

  • feature request

    feature request
    Asking for new or improved functionality

  • FFI

    FFI
    Foreign function interface

  • github_actions

    github_actions
    Pull requests that update GitHub Actions code

  • importing instantiations

    importing instantiations

  • javascript

    javascript
    Pull requests that update javascript code

  • language

    language
    Changes or extensions to the language

  • low-hanging fruit

    low-hanging fruit
    For issues that should be easy to fix

  • maybe-fixed

    maybe-fixed
    Might be resolved, but this needs to be confirmed.

  • needs-test

    needs-test
    Missing a regression test in the test-suite

  • numeric-solver

    numeric-solver

  • parameterized modules

    parameterized modules
    Related to Cryptol's parameterized modules

  • parser

    parser
    Issues with lexing or parsing.

  • performance

    performance
    General performance related issues.