Alexandre Duret-Lutz cf79cefd9a fix installation of gtec.hh ... * spot/twaalgos/gtec/Makefile.am: install it in spot/twaalgos/gtec, not spot/tgbaalgos/gtec. * NEWS: Mention it.		2016-03-03 16:47:16 +01:00
..
graph	python: initial work on wrapping twa_graph::out(n)	2015-12-11 19:32:52 +01:00
kripke	* spot/kripke/fwd.hh: Typo.	2016-03-01 17:06:58 +01:00
ltsmin	use more override and final keywords	2016-02-16 11:59:00 +01:00
misc	satsolver: use precise fstream class for input or output	2016-02-16 17:26:41 +01:00
parseaut	scanaut: add missing braces to please -Wdangling-else	2016-02-29 09:06:06 +01:00
parsetl	parsetl: change the interface to return a parsed_formula	2016-02-17 20:31:58 +01:00
priv	use more override and final keywords	2016-02-16 11:59:00 +01:00
ta	Turn on some new warnings from GCC 6.0	2016-02-16 17:26:41 +01:00
taalgos	use more override and final keywords	2016-02-16 11:59:00 +01:00
tl	parsetl: change the interface to return a parsed_formula	2016-02-17 20:31:58 +01:00
twa	twa: rename as_var() as as_vars()	2016-03-02 16:44:49 +01:00
twaalgos	fix installation of gtec.hh	2016-03-03 16:47:16 +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