Etienne Renault e471d4e67d scanaut: add missing braces to please -Wdangling-else ... * spot/parseaut/scanaut.ll: here.		2016-02-29 09:06:06 +01:00
..
graph	python: initial work on wrapping twa_graph::out(n)	2015-12-11 19:32:52 +01:00
kripke	use more override and final keywords	2016-02-16 11:59:00 +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	Force casts to please clang on OSX	2016-02-29 09:06:06 +01:00
twaalgos	Force casts to please clang on OSX	2016-02-29 09:06:06 +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