Sidebar

Main

Internal

Trace:

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

--- alvis:start [2018/01/16 08:41]
ptm [Download]
+++ 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}} 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 ======
-  * {{ :alvis:alviseditor-all-0.31.1.357.jar |}}
+  * {{ :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-survey.png?650 |}}
+{{ :alvis:alvis_syntax.png?700 |}}