mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-28 09:23:04 +03:00
199 lines
7.4 KiB
Plaintext
199 lines
7.4 KiB
Plaintext
Name: cryptol
|
|
Version: 2.0.0
|
|
Synopsis: Cryptol: The Language of Cryptography
|
|
License: BSD3
|
|
Author: Galois, Inc.
|
|
Maintainer: cryptol@galois.com
|
|
Copyright: 2013-2014 Galois Inc.
|
|
Category: Language
|
|
Build-type: Configure
|
|
Cabal-version: >= 1.18
|
|
|
|
data-files: lib/Cryptol.cry
|
|
|
|
flag static
|
|
default: False
|
|
description: Create a statically-linked binary
|
|
|
|
library
|
|
Build-depends: base >= 4.6,
|
|
array >= 0.4,
|
|
containers >= 0.5,
|
|
deepseq >= 1.3,
|
|
directory >= 1.2,
|
|
executable-path >= 0.0.3,
|
|
filepath >= 1.3,
|
|
GraphSCC >= 1.0.4,
|
|
monadLib >= 3.7.2,
|
|
mtl >= 2.1,
|
|
old-time >= 1.1,
|
|
presburger >= 1.1,
|
|
pretty >= 1.1,
|
|
process >= 1.2,
|
|
QuickCheck >= 2.7,
|
|
random >= 1.0.1,
|
|
smtLib >= 1.0.7,
|
|
syb >= 0.4,
|
|
text >= 1.1,
|
|
transformers >= 0.3,
|
|
utf8-string >= 0.3
|
|
|
|
Build-tools: alex, happy
|
|
hs-source-dirs: src, sbv
|
|
|
|
Exposed-modules: Cryptol.Prims.Syntax,
|
|
Cryptol.Prims.Types,
|
|
Cryptol.Prims.Eval,
|
|
Cryptol.Prims.Doc,
|
|
|
|
Cryptol.Parser,
|
|
Cryptol.Parser.Lexer,
|
|
Cryptol.Parser.AST,
|
|
Cryptol.Parser.Position,
|
|
Cryptol.Parser.Names,
|
|
Cryptol.Parser.NoPat,
|
|
Cryptol.Parser.NoInclude,
|
|
Cryptol.Parser.Utils,
|
|
Cryptol.Parser.Unlit,
|
|
|
|
Cryptol.Utils.PP,
|
|
Cryptol.Utils.Panic,
|
|
Cryptol.Utils.Debug,
|
|
Cryptol.Version,
|
|
|
|
Cryptol.ModuleSystem,
|
|
Cryptol.ModuleSystem.Base,
|
|
Cryptol.ModuleSystem.Env,
|
|
Cryptol.ModuleSystem.Interface,
|
|
Cryptol.ModuleSystem.Monad,
|
|
Cryptol.ModuleSystem.NamingEnv,
|
|
Cryptol.ModuleSystem.Renamer,
|
|
|
|
Cryptol.TypeCheck,
|
|
Cryptol.TypeCheck.AST,
|
|
Cryptol.TypeCheck.Monad,
|
|
Cryptol.TypeCheck.Infer,
|
|
Cryptol.TypeCheck.InferTypes,
|
|
Cryptol.TypeCheck.Kind,
|
|
Cryptol.TypeCheck.Subst,
|
|
Cryptol.TypeCheck.Instantiate,
|
|
Cryptol.TypeCheck.Unify,
|
|
Cryptol.TypeCheck.Depends,
|
|
Cryptol.TypeCheck.PP,
|
|
Cryptol.TypeCheck.Solve,
|
|
Cryptol.TypeCheck.TypeMap,
|
|
Cryptol.TypeCheck.Defaulting,
|
|
|
|
Cryptol.TypeCheck.Solver.Eval,
|
|
Cryptol.TypeCheck.Solver.FinOrd,
|
|
Cryptol.TypeCheck.Solver.InfNat,
|
|
Cryptol.TypeCheck.Solver.Interval,
|
|
Cryptol.TypeCheck.Solver.Smtlib,
|
|
Cryptol.TypeCheck.Solver.Numeric,
|
|
Cryptol.TypeCheck.Solver.Class,
|
|
Cryptol.TypeCheck.Solver.Selector,
|
|
Cryptol.TypeCheck.Solver.CrySAT,
|
|
Cryptol.TypeCheck.Solver.Utils,
|
|
|
|
Cryptol.Transform.MonoValues,
|
|
Cryptol.Transform.Specialize,
|
|
|
|
Cryptol.Eval,
|
|
Cryptol.Eval.Env,
|
|
Cryptol.Eval.Error,
|
|
Cryptol.Eval.Type,
|
|
Cryptol.Eval.Value,
|
|
|
|
Cryptol.Testing.Random,
|
|
Cryptol.Testing.Exhaust
|
|
|
|
Cryptol.Symbolic
|
|
Cryptol.Symbolic.BitVector
|
|
Cryptol.Symbolic.Prims
|
|
Cryptol.Symbolic.Value
|
|
|
|
|
|
Other-modules: Cryptol.Parser.LexerUtils,
|
|
Cryptol.Parser.ParserUtils,
|
|
Data.SBV,
|
|
Data.SBV.Bridge.Boolector,
|
|
Data.SBV.Bridge.CVC4,
|
|
Data.SBV.Bridge.Yices,
|
|
Data.SBV.Bridge.Z3,
|
|
Data.SBV.Internals,
|
|
Data.SBV.BitVectors.AlgReals,
|
|
Data.SBV.BitVectors.Data,
|
|
Data.SBV.BitVectors.Model,
|
|
Data.SBV.BitVectors.PrettyNum,
|
|
Data.SBV.BitVectors.SignCast,
|
|
Data.SBV.BitVectors.Splittable,
|
|
Data.SBV.BitVectors.STree,
|
|
Data.SBV.Compilers.C,
|
|
Data.SBV.Compilers.CodeGen,
|
|
Data.SBV.SMT.SMT,
|
|
Data.SBV.SMT.SMTLib,
|
|
Data.SBV.SMT.SMTLib1,
|
|
Data.SBV.SMT.SMTLib2,
|
|
Data.SBV.Provers.Prover,
|
|
Data.SBV.Provers.SExpr,
|
|
Data.SBV.Provers.Boolector,
|
|
Data.SBV.Provers.CVC4,
|
|
Data.SBV.Provers.Yices,
|
|
Data.SBV.Provers.Z3,
|
|
Data.SBV.Tools.ExpectedValue,
|
|
Data.SBV.Tools.GenTest,
|
|
Data.SBV.Tools.Optimize,
|
|
Data.SBV.Tools.Polynomial,
|
|
Data.SBV.Utils.Boolean,
|
|
Data.SBV.Utils.TDiff,
|
|
Data.SBV.Utils.Lib,
|
|
Paths_cryptol,
|
|
GitRev
|
|
|
|
GHC-options: -Wall -O2
|
|
|
|
executable cryptol
|
|
Main-is: Main.hs
|
|
hs-source-dirs: cryptol
|
|
Other-modules: OptParser,
|
|
REPL.Command,
|
|
REPL.Haskeline,
|
|
REPL.Monad,
|
|
REPL.Trie,
|
|
Paths_cryptol
|
|
build-depends: base,
|
|
ansi-terminal,
|
|
containers,
|
|
cryptol,
|
|
directory,
|
|
filepath,
|
|
haskeline,
|
|
monadLib,
|
|
process,
|
|
random,
|
|
transformers
|
|
GHC-options: -Wall -O2
|
|
|
|
if os(linux) && flag(static)
|
|
ld-options: -static -pthread
|
|
|
|
executable cryptolnb
|
|
buildable: False
|
|
Main-is: Main_notebook.hs
|
|
hs-source-dirs: cryptol, notebook
|
|
build-depends: base,
|
|
ansi-terminal,
|
|
containers,
|
|
cryptol,
|
|
directory,
|
|
filepath,
|
|
haskeline,
|
|
monadLib,
|
|
process,
|
|
random,
|
|
transformers
|
|
GHC-options: -Wall -O2
|
|
|
|
if os(linux) && flag(static)
|
|
ld-options: -static -pthread
|