Portability | portable |
---|---|
Maintainer | Simon Meier <iridcode@gmail.com> |
Safe Haskell | None |
Parsing protocol theories. See the MANUAL for a high-level description of the syntax.
- parseOpenTheory :: [String] -> FilePath -> IO OpenTheory
- parseOpenTheoryString :: [String] -> String -> Either ParseError OpenTheory
- parseLemma :: String -> Either ParseError (Lemma ProofSkeleton)
- parseIntruderRules :: MaudeSig -> FilePath -> IO [IntrRuleAC]
Documentation
:: [String] | Defined flags |
-> FilePath | |
-> IO OpenTheory |
Parse a security protocol theory file.
:: [String] | Defined flags. |
-> String | |
-> Either ParseError OpenTheory |
Parse a security protocol theory from a string.
parseLemma :: String -> Either ParseError (Lemma ProofSkeleton)Source
Parse a lemma for an open theory from a string.
parseIntruderRules :: MaudeSig -> FilePath -> IO [IntrRuleAC]Source
Parse DH intruder rules.