Alexandre Duret-Lutz 15709084b8 ltlf: ensure alive holds initially ... Reported by Shufang Zhu. * spot/tl/ltlf.cc, spot/tl/ltlf.hh: Fix the transltion and update the comments. * tests/core/ltlfilt.test: Adjust test cases. * NEWS: Mention the fix. * THANKS: Add Shufang Zhu.		2016-12-10 20:23:07 +01:00
..
graph	use SPOT_ASSERT instead of assert	2016-07-24 23:26:59 +02:00
kripke	kripkegraph: fix g++ warning	2016-09-04 17:25:24 +02:00
ltsmin	ltsmin: use any installed libltdl	2016-12-01 22:20:46 +01:00
misc	install back the safety check of includes.test	2016-12-02 17:59:32 +01:00
parseaut	parseaut: diagnose invalid acceptance terms	2016-12-01 22:21:42 +01:00
parsetl	parsetl: flush the errors	2016-11-05 22:59:02 +01:00
priv	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
ta	taproduct: fix incorrect assert() flagged by PVS-Studio	2016-10-29 12:37:35 +02:00
taalgos	improve some conditions, as hinted by PVS-Studio	2016-10-29 12:37:35 +02:00
tl	ltlf: ensure alive holds initially	2016-12-10 20:23:07 +01:00
twa	strength: fix is_terminal()	2016-11-28 18:03:30 +01:00
twaalgos	install back the safety check of includes.test	2016-12-02 17:59: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