|
|
-
Exported names:
-
Imported modules:
Module ToVerifier
A transformation of Curry programs into verification tools.
Author: Michael Hanus
Version: April 2021
Summary of exported operations:
cvBanner
:: String 
|
usageText
:: String 
|
main
:: IO ()
|
generateTheoremsForModule
:: Options -> String -> IO ()
|
generateTheorems
:: Options -> IO ()
|
generateTheorem
:: Options -> (String,String) -> IO ()
|
getAllTypeDecls
:: Options -> [CurryProg] -> [(String,String)] -> [CTypeDecl] -> IO [CTypeDecl]
Extract all type declarations that are refererred in the types of the given functions. |
sortTypeDecls
:: [CTypeDecl] -> [CTypeDecl]
|
getAllFunctions
:: Options -> [CFuncDecl] -> [CurryProg] -> [(String,String)] -> IO (Options,[CurryProg],[CFuncDecl])
Extract all functions that might be called by a given function. |
standardConstructors
:: [(String,String)]
|
Exported operations:
|
|
|
|
|
|
|
|
|
|
|
Extract all type declarations that are refererred in the types of the given functions. |
|
|
|
Extract all functions that might be called by a given function. |
|
|