This is an old revision of the document!
Usage of compiler
Basic usage of the compiler is to produce an intermediate Haskell representation of an Alvis model. The intermediate representation may be used to generate the Label Transition System (LTS graph) for the given model. The Alvis compiler requires a Haskell compiler to be installed.
$> alvisc input_file.alvis
The default output file is called out.hs. One can include the -o output_file.hs option to specify the name of the output file.