Sidebar

Main

Internal

Trace:

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

--- alvis:start [2018/05/09 22:14]
marcin [Examples]
+++ alvis:start [2021/10/23 17:24] (current)
marcin [Download]
@@ Line 13: / Line 13: @@
   - [[alvis:active2passive1|Communication with a passive agent]]
   - [[alvis:sbrexample|Sender-Buffer-Receiver example]]
-  - {{ :alvis:tests.zip | Test models}} FIXME
+  - {{ :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).
 ====== Download ======
@@ Line 19: / Line 23: @@
   * {{ :alvis:alviseditor-all-0.31.1.323.jar |}}
   * {{ :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_syntax.png?700 |}}