Sidebar

Main

Internal

Trace:

Trace: • start

This shows you the differences between two versions of the page.

--- alvis:compiler [2018/05/09 18:38]
lpodolski Updated help text
+++ alvis:compiler [2021/09/23 08:51] (current)
@@ Line 52: / Line 52: @@
   * commands:
     * **out** //constant//
-  * environment specification,
   * hierarchical agents - The flat version of the model must be generated before compilation.
@@ Line 65: / Line 64: @@
 </code>
+==== 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 //non-time// (''--no-time'') Alvis version. Resulting programs will use some different data types and algorithms. The second basic option is for choosing to generate standard LTS-printing program (default) or a model simulator (''--simulation''). Other options allow to select desired format that the resulting program will print (''--dot'', ''--csv'', ''--aldebaran'' or ''--main path/to/code.hs'' for an user-defined format) or the priority algorithm to use (''--priority-p1'', ''--priority-p2'' or ''--priority path/to/code.hs'' for an user-defined algorithm).
+The standard compiler package comes with //compiler-files// directory, containing files with Haskell code that the compiler uses, depending on the given options.