Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionBoth sides next revision | ||
alvis:compiler [2017/01/11 23:14] marcin | alvis:compiler [2021/09/23 08:51] (current) | ||
---|---|---|---|
Line 18: | Line 18: | ||
< | < | ||
$> alvisc -h | $> alvisc -h | ||
+ | usage: alvisc file [-ald] [-b < | ||
+ | | ||
+ | [-p1] [-p2] [-sim] [-v] [-vm] | ||
+ | | ||
+ | | ||
+ | " | ||
+ | | ||
+ | | ||
+ | --force-generator | ||
+ | | ||
+ | | ||
+ | --force-tree-parsing | ||
+ | | ||
+ | | ||
+ | | ||
+ | | ||
+ | | ||
+ | -o < | ||
+ | | ||
+ | | ||
+ | | ||
+ | | ||
+ | | ||
+ | | ||
+ | about errors which maybe helpful for newbie. | ||
</ | </ | ||
+ | ==== Support of Alvis language and limitation of compiler in current alpha version ==== | ||
+ | The current compiler version supports both time and non-time Alvis models with α^0 system layer (multi-processor systems). | ||
+ | Current version __do not__ support: | ||
+ | * commands: | ||
+ | * **out** // | ||
+ | * hierarchical agents - The flat version of the model must be generated before compilation. | ||
+ | ====Example==== | ||
+ | |||
+ | Suppose an Alvis model example.alvis is given. The following UNIX/Linux commands generate the LTS graph in the DOT format: | ||
+ | < | ||
+ | alvisc example.alvis -o example.hs | ||
+ | ghc --make example.hs -o example | ||
+ | ./example > example.dot | ||
+ | </ | ||
+ | |||
+ | |||
+ | ==== Compiler options and files ==== | ||
+ | |||
+ | Several compiler options allow to configure the output Haskell program. | ||
+ | |||
+ | The most basic option is for choosing to use //time// (default) or // | ||
+ | |||
+ | The standard compiler package comes with // | ||
- | FIXME |