Name		Name	Last commit message	Last commit date
Latest commit History 33 Commits
.metadata		.metadata
.svn		.svn
HTML		HTML
autom4te.cache		autom4te.cache
benchmarkset		benchmarkset
doc		doc
ext		ext
lib		lib
m4		m4
src		src
test		test
third_party		third_party
.DS_Store		.DS_Store
.gitignore		.gitignore
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
DEVELOP		DEVELOP
INSTALL		INSTALL
Makefile		Makefile
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
README.md		README.md
VERSION		VERSION
aclocal.m4		aclocal.m4
autogen.sh		autogen.sh
compile		compile
config.guess		config.guess
config.h.in		config.h.in
config.log		config.log
config.status		config.status
config.sub		config.sub
configure		configure
configure.ac		configure.ac
depcomp		depcomp
install-sh		install-sh
libjvm.a		libjvm.a
libjvm.def		libjvm.def
libtool		libtool
ltmain.sh		ltmain.sh
missing		missing
mkinstalldirs		mkinstalldirs
state_id		state_id
test-driver		test-driver
ylwrap		ylwrap

Repository files navigation

SLIM

Build

make clean
aclocal
automake --add-missing
autoreconf
./configure [--enable-profile]
make

About

parallel model checker

Report repository

Releases

No releases published

Packages

No packages published

Languages