Top / Download
About LaViT †
LaViT is an integrated development environment (IDE) for LMNtal, containing the whole LMNtal toolchain (compiler, runtime and visualizers).
System Requirements †
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)
Downloading LaViT Bundle Packages †
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.
- LaViT-2.10.0-bundle.zip (2023-06-02) NEW
- 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)
Installing LaViT †
- 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) .
Attached files
- Attach file: LaViT-2.8.6-bundle.zip 825 download
[Information]
LaViT2_1_0.zip 692 download
[Information]
LMNtalEditor1_3_5.zip 604 download
[Information]
LaViT2_0_0.zip 619 download
[Information]
LMNtalEditor1_3_3.zip 419 download
[Information]
- Related pages
- MenuBar(1795d)