Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:varda [2009/05/04 18:54] gjn m2 |
hekate:varda [2019/06/27 15:49] (current) |
===== Releases ===== | ===== Releases ===== |
| |
==== M_2 ==== | ==== M_6 ==== |
| Download {{:hekate:varda-m_6.tar.gz}}. |
| |
Download {{:hekate:varda-m_2.tar.gz}}. | ==== M_5 ==== |
| Download {{:hekate:varda-m_5.tar.gz}}. |
| |
| ==== Previous releases ==== |
==== M_1 ==== | Download {{:hekate:varda-m_4.tar.gz}}.\\ |
| Download {{:hekate:varda-m_3.tar.gz}}.\\ |
Download {{:hekate:varda-m_1.tar.gz}}. | Download {{:hekate:varda-m_2.tar.gz}}.\\ |
| Download {{:hekate:varda-m_1.tar.gz}}.\\ |
| Download {{:hekate:varda-m_0.tar.gz}}.\\ |
==== M_0 ==== | |
| |
Download {{:hekate:varda-m_0.tar.gz}}. | |
| |
====== News ====== | ====== News ====== |
* **2008.4.21** VARDA M_1 released: support for ARD/HML, horizontal xtt visualization, and "arp." | * **2009.11.30** VARDA M_6 released: bug fixes, cases generator fixes. |
* **2008.2.29** VARDA goes {{:hekate:gplv3.png|GPLv3}}, M_0 released | * **2009.08.19** VARDA M_5 released: batch mode, cases generator, set-based model optional. |
* **2008.1.28** tph+ard display and collapse. | * **2009.08.14** VARDA M_4 released: model conversion from lists to sets, interactive shell (see [[pl:miw:2009:miw09_varda_fix#przyklad_uzycia_shella|some docs in polish]]), possible models generation. |
* **2008.1.26-7** preliminary HML export added, use 'axg.' | * **2009.05.13** VARDA M_3 released: support for HML2 - fixed ids. |
| * **2009.05.03** VARDA M_2 released: support for HML2. |
| * **2008.04.21** VARDA M_1 released: support for ARD/HML, horizontal xtt visualization, and "arp." |
| * **2008.02.29** VARDA goes {{:hekate:gplv3.png|GPLv3}}, M_0 released |
| * **2008.01.28** tph+ard display and collapse. |
| * **2008.01.26-7** preliminary HML export added, use 'axg.' |
| |
| |
Models: | Models: |
* ''therm-model.pl'' the [[hekate:hekate_case_thermostat]] | * ''therm-model.pl'' the [[hekate:hekate_case_thermostat]] |
* ''userv-model-alpha.pl'' the UServ case, [[hekate:hekate_case_userv]] | * ''userv-model-alpha.pl'' the UServ case. |
* ''elevator-model.pl'' an example elavator system, [[hekate:hekate_case_elevator1]] | * ''elevator-model.pl'' an example elavator system. |
| |
| |
===== Windows ===== | ===== Batch mode ===== |
| In a Unix shell it is possible to use VARDA in a batch mode, specifying goal from the commandline, e.g.: |
| ./varda hekate_case_thermostat-model.pl -t sar. |
| |
If you use Windows, you can still use VARDA, but automatic visualisation would not work (it requires a Unix-like environment). | ===== Windows ===== |
| If you use Windows, you can still use VARDA, but automatic visualization would not work (it requires a Unix-like environment). |
Just run SWI Prolog, and: | Just run SWI Prolog, and: |
?- [varda]. | ?- [varda]. |