Skip to content

onmsr/slim

 
 

Repository files navigation

SLIM - slim LMNtal imprementation

バグ報告は lmntal@ueda.info.waseda.ac.jp までお願いします。

最新版における新しい機能やその他の変更点については NEWS を参照してください。

インストール方法は INSTALL に記述されています。


Getting started

The way to compile this package is:

export LMNTAL_HOME=/path/to/devel # set path of compiler
cd slim
aclocal
automake --add-missing
autoreconf
./configure
make

or

tar xvzf slim-x.y.z.tar.gz
cd slim-x.y.z
./configure
make

Among generated files, src/slim is the LMNtal interpreter. So you can run SLIM as follows:

lmntal --slimcode source.lmn > source.il
./slim source.il

You can see what options are available with SLIM as follows:

./slim --help

Model Checking

lmntal --slimcode source.lmn > source.il
./slim --nd source.il # single core
./slim --nd --use-Ncore=12 source.il # multi-core
./slim --nd --use-Ncore=12 --delta-mem source.il # multi-core optimization

Requirements

  • automake 1.14.1
  • autoconf 2.69
  • g++
  • flex 2.5.35
  • bison 2.3
  • ruby 1.9.3p547
  • libtool 2.2.6b
  • cunit

About

slim LMNtal imprementation

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C 84.8%
  • Shell 12.9%
  • Ruby 1.0%
  • nesC 0.6%
  • C++ 0.4%
  • Objective-C 0.1%
  • Other 0.2%