現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the backup.
- 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)
#author("2020-04-04T20:49:53+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 Runtime Environment (JRE), version 1.6 or higher. //--Cygwin (g++, make, bison (>=3), flex, automake, autoconf, re2c) //--ruby (>=1.9) and rubygems -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 [#g5cc21eb] The following packages contain LaViT IDE + LMNtal compiler, SLIM LMNtal runtime source code, sample programs, and so on. - Latest Release -- [[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) &color(#ff3333){NEW}; - Older Releases -- [[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