• The added line is THIS COLOR.
• The deleted line is THIS COLOR.
• Go to Download.
• Deleting diff of Download

#author("2024-06-21T14:05:35+09:00","default:Uedalab","Uedalab")
#author("2024-06-21T16:04:32+09:00","default:Uedalab","Uedalab")
* About LaViT [#h5827877]
LaViT is an integrated development environment (IDE) for LMNtal, containing the whole LMNtal toolchain (compiler, runtime and visualizers).

*System Requirements [#u504500c]
Please make sure that you have all of the following software installed.
//-Windows
//--Java Developer Kit (JDK), version 17 or higher.
//--Java Developer Kit (JDK), version 21 or higher.
//--Cygwin (g++, make, bison (>=3), flex, automake, autoconf, re2c)
//--ruby (>=1.9) and rubygems

-macOS
--Java Developer Kit (JDK), version 17 or higher.
--Java Developer Kit (JDK), version 21 or higher.
--Xcode (g++, make, bison (>=3), flex, automake, autoconf, re2c)
--ruby (>=1.9)

-Linux
--Java Developer Kit (JDK), version 17 or higher.
--Java Developer Kit (JDK), version 21 or higher.
--g++, make, bison (>=3), flex, automake, autoconf, re2c
--ruby (>=1.9)

* Downloading LaViT Bundle Packages [#g5cc21eb]
The following packages contain LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and so on.
- Latest Release
-- [[LaViT-2.11.1-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.11.1/LaViT-2.11.1-bundle.zip]] (2024-06-17) &color(#ff3333){NEW};~
This is LaViT 2.11.1 with an updated LMNtal compiler and Graphene.
- Older Releases
-- [[LaViT-2.10.0-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.10.0/LaViT-2.10.0-bundle.zip]] (2023-06-02)
-- [[LaViT-2.9.2.2-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.9.2/LaViT-2.9.2.2-bundle.zip]] (2023-01-01)
-- [[LaViT-2.9.2.1-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.9.2/LaViT-2.9.2.1-bundle.zip]] (2022-12-30)
-- [[LaViT-2.9.2-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.9.2/LaViT-2.9.2-bundle.zip]] (2021-07-31) 
-- [[LaViT-2.9.1-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.9.1/LaViT-2.9.1-bundle.zip]] (2019-12-03) 
-- [[LaViT-2.9.0-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.9.0/LaViT-2.9.0-bundle.zip]] (2019-07-15)
-- [[LaViT-2.8.9-bundle.zip:https://github.com/lmntal/lavit/releases/download/2.8.9/LaViT-2.8.9-bundle.zip]] (2017-06-14)
//-- [[LaViT-2.8.8-bundle.zip:http://www.ueda.info.waseda.ac.jp/~yoshimoto/lavit/LaViT-2.8.8-bundle.zip]] (2015-10-31)
//-- &ref(./LaViT-2.8.6-bundle.zip,nolink); (2014-05-31)
//-- [[LaViT-2.8.0-bundle.zip:http://lavit.googlecode.com/files/LaViT-2.8.0-bundle.zip]] (2013-11-15)
//-- [[LaViT2_7_1.zip:http://lavit.googlecode.com/files/LaViT2_7_1.zip]] (2013-09-29)
//-- [[LaViT2_6_2.zip:http://lavit.googlecode.com/files/LaViT2_6_2.zip]] (2013-02-27)
//--- [[LaViT2_6_1.zip:http://lavit.googlecode.com/files/LaViT2_6_1.zip]] (2012-11-23)
//-Older Releases
//--[[LaViT2_6_0.zip:http://lavit.googlecode.com/files/LaViT2_6_0.zip]] (2012-10-25)
//--[[LaViT2_5_3.zip:http://lavit.googlecode.com/files/LaViT2_5_3.zip]] (2012-08-10)
//--[[LaViT2_5_2.zip:http://lavit.googlecode.com/files/LaViT2_5_2.zip]] (2012-05-27)
//--[[LaViT2_4_5.zip:http://lavit.googlecode.com/files/LaViT2_4_5.zip]] (2011-12-16)
//--[[LaViT2_4_4.zip:http://lavit.googlecode.com/files/LaViT2_4_4.zip]] (2011-08-08)

//** LaViT IDE [#n4346f34]
//For substituting older LaViT.jar in bundle packages.
//- Latest Releases
//-- [[LaViT-2.8.2.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.2.jar]] (2014-02-11) &color(#ff3333){NEW};
//-- [[LaViT-2.8.1.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.1.jar]] (2014-02-10)
//-- [[LaViT-2.8.0.jar:http://www.ueda.info.waseda.ac.jp/~shinobu/lavit/releases/LaViT-2.8.0.jar]] (2013-11-15)

* Installing LaViT [#b8ea78c1]

+Unzip the download file. Please do not include spaces in your directory name.~
//Windows users should unzip the file using Windows' unzip feature, not Cygwin's unzip.
//ok: C:\LaViTx_y_z\
//ng: C:\Documents and Settings\LaViTx_y_z\
//+Make sure that you have Java (all users) and Cygwin (Windows users) installed.~
('''Note: the next two steps (2. and 3.) can be done later when you use the LTL model checker.''')
+Download [[the ltl2ba archive>http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/download.php]].
+Open the ltl2ba archive and move it to LaViTx_y_z/lmntal/, renaming it as ltl2ba.
//> gunzip ltl2ba-1.x.tar.gz
 > 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) .

//-Recommended
//--Java3D