The latest version of tamarin-prover-term is 0.8.5.1-0.
lib:tamarin-prover-term
Modules
- Term.Builtin.Convenience
- Term.Builtin.Rules
- Term.Builtin.Signature
- Term.LTerm
- Term.Maude.Parser
- Term.Maude.Process
- Term.Maude.Signature
- Term.Maude.Types
- Term.Narrowing.Variants
- Term.Narrowing.Variants.Check
- Term.Narrowing.Variants.Compute
- Term.Positions
- Term.Rewriting.Definitions
- Term.Rewriting.Norm
- Term.Substitution
- Term.Subsumption
- Term.SubtermRule
- Term.Unification
- Term.UnitTests
- Term.VTerm
Dependencies
- HUnit lib:HUnit >=1.2 && <1.3
- attoparsec lib:attoparsec >=0.10 && <0.11
- base lib:base >=4 && <5
- binary lib:binary >=0.5 && <0.6
- bytestring lib:bytestring >=0.9 && <0.10
- containers lib:containers >=0.4.2 && <0.5
- deepseq lib:deepseq >=1.3 && <1.4
- derive lib:derive >=2.5 && <2.6
- directory lib:directory >=1.1 && <1.2
- dlist lib:dlist >=0.5 && <0.6
- mtl lib:mtl >=2.0 && <2.1
- parsec lib:parsec >=3.1 && <3.2
- process lib:process >=1.1 && <1.2
- safe lib:safe >=0.2 && <0.4
- split lib:split >=0.1 && <0.2
- syb lib:syb >=0.3.3 && <0.4
- tamarin-prover-utils lib:tamarin-prover-utils >=0.4.1 && <0.4.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- tamarin-prover exe:tamarin-prover