• List of Backups
• View the diff.
• View the diff current.
• View the source.
• Go to Download.
  • 1 (2010-02-11 (Thu) 16:04:50)
  • 2 (2010-04-22 (Thu) 03:15:52)
  • 3 (2010-04-22 (Thu) 03:19:20)
  • 4 (2010-05-25 (Tue) 10:08:20)
  • 5 (2010-06-10 (Thu) 08:51:25)
  • 6 (2010-07-05 (Mon) 07:38:07)
  • 7 (2010-07-12 (Mon) 08:20:27)
  • 8 (2010-07-12 (Mon) 08:20:27)
  • 9 (2010-10-18 (Mon) 18:18:37)
  • 10 (2010-10-25 (Mon) 16:54:29)
  • 11 (2011-01-12 (Wed) 19:01:20)
  • 12 (2011-03-24 (Thu) 08:23:28)
  • 13 (2011-08-08 (Mon) 07:48:41)
  • 14 (2011-12-16 (Fri) 12:00:31)
  • 15 (2012-04-03 (Tue) 14:23:40)
  • 16 (2012-04-09 (Mon) 23:09:32)
  • 17 (2012-05-10 (Thu) 06:15:05)
  • 18 (2012-05-21 (Mon) 09:23:49)
  • 19 (2012-08-10 (Fri) 01:38:42)
  • 20 (2012-10-21 (Sun) 15:15:54)
  • 21 (2012-10-26 (Fri) 11:02:22)
  • 22 (2012-11-23 (Fri) 08:49:20)
  • 23 (2013-02-27 (Wed) 06:56:12)
  • 24 (2013-10-13 (Sun) 22:08:56)
  • 25 (2013-11-15 (Fri) 00:23:17)
  • 26 (2014-06-01 (Sun) 12:32:20)
  • 27 (2014-06-01 (Sun) 12:49:50)
  • 28 (2015-04-07 (Tue) 04:57:52)
  • 29 (2015-04-07 (Tue) 05:46:17)
  • 30 (2015-04-15 (Wed) 07:21:09)
  • 31 (2015-04-27 (Mon) 04:40:10)
  • 32 (2015-10-26 (Mon) 09:18:26)
  • 33 (2015-10-31 (Sat) 15:54:50)
  • 34 (2015-10-31 (Sat) 21:49:38)
  • 35 (2017-03-02 (Thu) 05:38:19)
  • 36 (2017-08-02 (Wed) 08:37:06)
  • 37 (2019-04-29 (Mon) 03:08:14)
  • 38 (2019-07-15 (Mon) 15:24:06)
  • 39 (2019-12-03 (Tue) 08:18:12)
  • 40 (2020-04-04 (Sat) 11:46:26)
  • 41 (2020-04-04 (Sat) 11:46:26)
  • 42 (2022-12-30 (Fri) 01:58:30)
  • 43 (2022-12-31 (Sat) 16:07:52)
  • 44 (2023-06-02 (Fri) 04:36:38)
  • 45 (2024-06-17 (Mon) 06:45:33)

---

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.9.2.1-bundle.zip (2022-12-30) NEW
    This is LaViT 2.9.2 with an updated LMNtal compiler and Graphene.
• Older Releases
  • 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 †

1. 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.)
2. Download the ltl2ba archive.
3. 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

4. Type "./run.sh" or "java -jar LaViT.jar".
5. LaViT will ask you to install SLIM (the LMNtal runtime) from the source.
6. 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) .