Sidebar

Main

Internal

Trace:

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

--- alvis:start [2017/01/11 23:05]
marcin [Tools]
+++ alvis:start [2021/10/23 17:24] (current)
marcin [Download]
@@ Line 6: / Line 6: @@
   * [[:alvis:name|Alvis name origin]]
   * [[:alvis:editor|Getting Started with Alvis Editor]]
+  * [[:alvis:compiler|Getting Started with Alvis Compiler]]
 ====== Examples ======
@@ Line 12: / Line 13: @@
   - [[alvis:active2passive1|Communication with a passive agent]]
   - [[alvis:sbrexample|Sender-Buffer-Receiver example]]
+  - {{ :alvis:tests.zip | Test models}} The archive contains selected Alvis test models:
+    * name.alvis - model XML file,
+    * namecorrect.dot - LTS (dot format) for non-time version of the model,
+    * nametime1correct.dot - LTS (dot format) for time version of the model (default duration function),
+    * nametimemixcorrect.dot - LTS (dot format) for time version of the model (user defined duration function - see duration.hs).
-====== Tools ======
+====== Download ======
-  * {{::alviseditor-all-0.31.1.315.jar|Alvis Editor v. 0.31.1.315}}
+  * {{ :alvis:alviseditor-all-0.31.1.323.jar |}}
-  * {{ :alvis:alvisc-0.4.3.4.zip |Alvis Compiler v. 0.4.3.4}}
+  * {{ :alvis:alvisc-0.4.3.13.zip |Alvis Compiler v. 0.4.3.13}}
+  * {{ :alvis:alvisc-0.4.3.27.zip |Alvis Compiler v. 0.4.3.27}}
+  * {{ :alvis:alvisc-0.4.3.33_updated.zip |Alvis Compiler v. 0.4.3.33}}
 ====== Reference Card ======
-{{ :alvis:alvis-survey.png?650 |}}
+{{ :alvis:alvis_syntax.png?700 |}}