Language.Fixpoint.Files

Hardwired file extension names

data Ext

extFileName

extModuleName

withExt

isExtFile

Hardwired paths

getFixpointPath

getZ3LibPath

Various generic utility functions for finding and removing files

getHsTargets

getFileInDirs

findFileInDirs

copyFiles