Skip to content
slim LMNtal imprementation
C++ Shell C M4 Ruby Makefile Other
Branch: develop
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
benchmarkset
doc CCallback is now class Apr 10, 2019
ext Change directory structure Mar 31, 2014
lib library deque and functional May 26, 2019
m4 modify libtool to avoid warning messages Apr 30, 2019
src Use std::unordered_map in TraceLog instead of ProcessTable. Jul 25, 2019
test Fix bugs in equality checking. Jul 5, 2019
third_party Remove gperftools 1.8.3. Mar 1, 2019
.cquery move .cquery to root Apr 30, 2019
.gitignore
.travis.yml
AUTHORS added contributors May 12, 2018
COPYING
ChangeLog Change directory structure Mar 31, 2014
DEVELOP Add an instruction to DEVELOP May 14, 2018
INSTALL Change directory structure Mar 31, 2014
Makefile.am
NEWS Version 2.4.0 Jul 15, 2019
README Refactor il_parser. Mar 1, 2019
README.md Refactor il_parser. Mar 1, 2019
VERSION Update SLIM version. Jun 13, 2017
autogen.sh Modify build configuration. Jun 19, 2017
configure.ac Add lifetime debug module. Jul 16, 2019
depcomp Change directory structure Mar 31, 2014
install-sh Update the version number to 2.3.0. Mar 29, 2017
libjvm.a Change directory structure Mar 31, 2014
libjvm.def Change directory structure Mar 31, 2014
ltmain.sh
missing update missing Apr 30, 2019
mkinstalldirs Change directory structure Mar 31, 2014
num vector.num and vector.cap are private now Mar 25, 2019
publish-document.sh Add scripts for publishing documents. Oct 9, 2017

README.md

SLIM - slim LMNtal imprementation {#mainpage}

バグ報告は 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
./autogen.sh
./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
  • re2c 1.0.3
  • bison 3.0
  • ruby 1.9.3p547
  • libtool 2.2.6b
  • cunit
You can’t perform that action at this time.