cryptol-2.6.0: Cryptol: The Language of Cryptography

# cryptol-2.6.0: Cryptol: The Language of Cryptography

Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see http://www.cryptol.net/.

Signatures

Modules

- Cryptol
  Submodules
  - Cryptol.Eval
    Submodules
    - Cryptol.Eval.Arch
    - Cryptol.Eval.Env
    - Cryptol.Eval.Monad
    - Cryptol.Eval.Reference The reference implementation of the Cryptol evaluation semantics.
    - Cryptol.Eval.Type
    - Cryptol.Eval.Value
  - IR
    Submodules
    - Cryptol.IR.FreeVars
  - Cryptol.ModuleSystem
    Submodules
    - Cryptol.ModuleSystem.Base
    - Cryptol.ModuleSystem.Env
    - Cryptol.ModuleSystem.Exports
    - Cryptol.ModuleSystem.InstantiateModule
    - Cryptol.ModuleSystem.Interface
    - Cryptol.ModuleSystem.Monad
    - Cryptol.ModuleSystem.Name
    - Cryptol.ModuleSystem.NamingEnv
    - Cryptol.ModuleSystem.Renamer
  - Cryptol.Parser
    Submodules
    - Cryptol.Parser.AST
    - Cryptol.Parser.Fixity
    - Cryptol.Parser.Lexer
    - Cryptol.Parser.Name
    - Cryptol.Parser.Names
    - Cryptol.Parser.NoInclude
    - Cryptol.Parser.NoPat
    - Cryptol.Parser.Position
    - Cryptol.Parser.Selector
    - Cryptol.Parser.Unlit
    - Cryptol.Parser.Utils
  - Prims
    Submodules
    - Cryptol.Prims.Eval
    - Cryptol.Prims.Syntax
  - REPL
    Submodules
    - Cryptol.REPL.Command
    - Cryptol.REPL.Monad
    - Cryptol.REPL.Trie
  - Cryptol.Symbolic
    Submodules
    - Cryptol.Symbolic.Prims
    - Cryptol.Symbolic.Value
  - Testing
    Submodules
    - Cryptol.Testing.Concrete
    - Cryptol.Testing.Random
  - Transform
    Submodules
    - Cryptol.Transform.AddModParams
    - Cryptol.Transform.MonoValues
    - Cryptol.Transform.Specialize
  - Cryptol.TypeCheck
    Submodules
    - Cryptol.TypeCheck.AST
    - Cryptol.TypeCheck.CheckModuleInstance
    - Cryptol.TypeCheck.Default
    - Cryptol.TypeCheck.Depends
    - Cryptol.TypeCheck.Error
    - Cryptol.TypeCheck.Infer
    - Cryptol.TypeCheck.InferTypes
    - Cryptol.TypeCheck.Instantiate
    - Cryptol.TypeCheck.Kind
    - Cryptol.TypeCheck.Monad
    - Cryptol.TypeCheck.PP
    - Cryptol.TypeCheck.Parseable
    - Cryptol.TypeCheck.Sanity
    - Cryptol.TypeCheck.SimpType
    - Cryptol.TypeCheck.SimpleSolver
    - Cryptol.TypeCheck.Solve
    - Solver
      Submodules
      - Cryptol.TypeCheck.Solver.Class
      - Cryptol.TypeCheck.Solver.Improve
      - Cryptol.TypeCheck.Solver.InfNat
      - Cryptol.TypeCheck.Solver.Numeric
        Submodules
        - Cryptol.TypeCheck.Solver.Numeric.Fin
        - Cryptol.TypeCheck.Solver.Numeric.Interval
      - Cryptol.TypeCheck.Solver.SMT
      - Cryptol.TypeCheck.Solver.Selector
      - Cryptol.TypeCheck.Solver.Types
      - Cryptol.TypeCheck.Solver.Utils
    - Cryptol.TypeCheck.Subst
    - Cryptol.TypeCheck.Type
    - Cryptol.TypeCheck.TypeMap
    - Cryptol.TypeCheck.TypeOf
    - Cryptol.TypeCheck.TypePat
    - Cryptol.TypeCheck.Unify
  - Utils
    Submodules
    - Cryptol.Utils.Debug
    - Cryptol.Utils.Ident
    - Cryptol.Utils.Logger
    - Cryptol.Utils.Misc
    - Cryptol.Utils.PP
    - Cryptol.Utils.Panic
    - Cryptol.Utils.Patterns
  - Cryptol.Version