Alexandre Duret-Lutz 55eae0d8bc * spot/twa/twa.hh (twa_succ_iterable): Mark move ctor as noexcept.		2016-12-15 11:11:59 +01:00
..
graph	graph: fix internal iterator constness	2016-11-30 14:26:30 +01:00
kripke	Automata with no state are no longer allowed.	2016-11-29 10:34:03 +01:00
ltsmin	ltsmin: workaround spurious gcc-snapshot warning	2016-12-10 21:56:25 +01:00
misc	install back the safety check of includes.test	2016-12-02 15:03:43 +01:00
parseaut	parseaut: diagnose invalid acceptance terms	2016-12-01 18:34:44 +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	ltlf: ensure alive holds initially	2016-12-09 21:37:15 +01:00
twa	* spot/twa/twa.hh (twa_succ_iterable): Mark move ctor as noexcept.	2016-12-15 11:11:59 +01:00
twaalgos	Add a new, parameterized, version of the Couvreur emptiness check.	2016-12-13 16:18:31 +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