LaViT: Download

Top / Download

About LaViT †

LaViT is an integrated development environment (IDE) for LMNtal, containing the whole LMNtal toolchain (compiler, runtime and visualizers).

Please make sure that you have all of the following software installed.

macOS
- Java Runtime Environment (JRE), version 1.6 or higher.
- Xcode (g++, make, bison (>=3), flex, automake, autoconf, re2c)
- ruby (>=1.9)

Linux
- Java Runtime Environment (JRE), version 1.6 or higher.
- g++, make, bison (>=3), flex, automake, autoconf, re2c
- ruby (>=1.9)

The following packages contain LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and so on.

Latest Release
- LaViT-2.10.0-bundle.zip (2023-06-02) NEW
  This is LaViT 2.10.0 with an updated LMNtal compiler and Graphene.
Older Releases
- LaViT-2.9.2.2-bundle.zip (2023-01-01)
- LaViT-2.9.2.1-bundle.zip (2022-12-30)
- LaViT-2.9.2-bundle.zip (2021-07-31)
- LaViT-2.9.1-bundle.zip (2019-12-03)
- LaViT-2.9.0-bundle.zip (2019-07-15)
- LaViT-2.8.9-bundle.zip (2017-06-14)

Unzip the download file. Please do not include spaces in your directory name.
(Note: the next two steps (2. and 3.) can be done later when you use the LTL model checker.)
Download the ltl2ba archive.
Open the ltl2ba archive and move it to LaViTx_y_z/lmntal/, renaming it as ltl2ba.
```
> tar xvfz ltl2ba-1.x.tar.gz
> mv ltl2ba-1.x/ LaViTx_y_z/lmntal/ltl2ba
```
Type "./run.sh" or "java -jar LaViT.jar".
LaViT will ask you to install SLIM (the LMNtal runtime) from the source.
If successful, open an example program (e.g., "demo/append.lmn") and run it by clicking the following buttons;
- SLIM (for ordinary execution),
- Compile (for viewing intermediate code),
- StateViewer (for viewing the state transition diagram),
- UNYO/Graphene (for visualized execution).
  - (Note: to run Graphene, you may need to set the environment variable LMNTAL_HOME to the full path to LaViTx_y_z/lmntal before running LaViT.) In case installation ends with an error, please contact the developer (lmntal -a- ueda -d- info -d- waseda -d- ac -d- jp) .