Language.Fixpoint.Utils.Files

Hardwired file extension names

data Ext

extFileName

extFileNameR

tempDirectory

extModuleName

withExt

isExtFile

isBinary

Hardwired paths

getFixpointPath

getZ3LibPath

Various generic utility functions for finding and removing files

getFileInDirs

copyFiles