Alexandre Duret-Lutz 4a43e24afa * iface/ltsmin/kripke.test: Fix paths to test binaries.		2015-09-30 13:21:59 +02:00
..
ltsmin	* iface/ltsmin/kripke.test: Fix paths to test binaries.	2015-09-30 13:21:59 +02:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
Makefile.am	Adding support for promela models via SpinS.	2014-12-07 00:09:48 +01:00