lib:tamarin-prover-utils

Modules

• Control.Basics
• Control.Monad.Bind
• Control.Monad.Disj
• Control.Monad.Fresh
• Control.Monad.Trans.FastFresh
• Control.Monad.Trans.PreciseFresh
• Data.Color
• Data.DAG.Simple
• Debug.Trace.Ignore
• Extension.Data.Bounded
• Extension.Data.ByteString
• Extension.Data.Label
• Extension.Data.Monoid
• Extension.Prelude
• Logic.Connectives
• System.Timing
• Text.Dot
• Text.PrettyPrint.Class
• Text.PrettyPrint.Highlight
• Text.PrettyPrint.Html
• Text.Unicode
• Utils.Misc

Dependencies

• SHA lib:SHA >=1.5 && <1.6
• base lib:base >=4 && <5
• base64-bytestring lib:base64-bytestring >=0.1.0.3 && <0.2
• binary lib:binary >=0.5 && <0.6
• blaze-builder lib:blaze-builder >=0.3 && <0.4
• bytestring lib:bytestring (>=0.9 && <0.10) && >=0.9 && <0.10
• containers lib:containers >=0.4.2 && <0.5
• deepseq lib:deepseq >=1.3 && <1.4
• dlist lib:dlist >=0.5 && <0.6
• fclabels lib:fclabels >=1.1 && <1.2
• mtl lib:mtl >=2.0 && <2.1
• parsec lib:parsec >=3.1 && <3.2
• pretty lib:pretty >=1.1 && <1.2
• syb lib:syb >=0.3.3 && <0.4
• time lib:time >=1.2 && <1.5
• transformers lib:transformers >=0.2 && <0.3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• tamarin-prover exe:tamarin-prover
• tamarin-prover-term lib:tamarin-prover-term