Alexandre Duret-Lutz dc4a477172 lts-min: fix loading of spins models ... This fixes c9aabcdd. * spot/ltsmin/ltsmin.cc: Update the extension after compiling the model. Do not duplicate the symbol lookups for DVE and gal2C. Also, improve error reporting in case of missing symbol. * tests/ltsmin/check.test: Remove stray character.		2016-11-24 10:44:11 +01:00
..
graph	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
kripke	kripkegraph: fix g++ warning	2016-09-04 17:25:24 +02:00
ltsmin	lts-min: fix loading of spins models	2016-11-24 10:44:11 +01:00
misc	bitvec: remove useless methods	2016-11-23 09:39:58 +01:00
parseaut	parseaut: do not close fd or stdin	2016-11-11 14:10:03 +01:00
parsetl	parsetl: flush the errors	2016-11-05 22:59:02 +01:00
priv	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
ta	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
taalgos	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
tl	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
twa	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
twaalgos	scc_filter: remove left-over print	2016-11-24 07:31:32 +01:00
.gitignore	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
Makefile.am	move the sanity tests in tests/sanity/	2016-01-05 17:20:51 +01:00