cryptol-2.5.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
- Cryptol.Eval
- 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
- Cryptol.ModuleSystem
- Cryptol.Parser
- Prims
- REPL
- Cryptol.Symbolic
- Testing
- Transform
- Cryptol.TypeCheck
- Cryptol.TypeCheck.AST
- Cryptol.TypeCheck.Depends
- Cryptol.TypeCheck.Infer
- Cryptol.TypeCheck.InferTypes
- Cryptol.TypeCheck.Instantiate
- Cryptol.TypeCheck.Kind
- Cryptol.TypeCheck.Monad
- Cryptol.TypeCheck.PP
- Cryptol.TypeCheck.Sanity
- Cryptol.TypeCheck.SimpType
- Cryptol.TypeCheck.SimpleSolver
- Cryptol.TypeCheck.Solve
- Solver
- Cryptol.TypeCheck.Solver.Class
- Cryptol.TypeCheck.Solver.CrySAT
- Cryptol.TypeCheck.Solver.Improve
- Cryptol.TypeCheck.Solver.InfNat
- Cryptol.TypeCheck.Solver.Numeric
- Cryptol.TypeCheck.Solver.Numeric.AST
- Cryptol.TypeCheck.Solver.Numeric.Defined
- Cryptol.TypeCheck.Solver.Numeric.Fin
- Cryptol.TypeCheck.Solver.Numeric.ImportExport
- Cryptol.TypeCheck.Solver.Numeric.Interval
- Cryptol.TypeCheck.Solver.Numeric.NonLin
- Cryptol.TypeCheck.Solver.Numeric.SMT
- Cryptol.TypeCheck.Solver.Numeric.Simplify
- Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr
- 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
- Cryptol.Version
- Cryptol.Eval