Alexandre Duret-Lutz 8a74ae6c9d misc: fix some down_cast issues ... We had new failure on MinGW with GCC believing that some pointer returned by down_cast could be NULL; and the down_cast function was in the global namespace. * spot/misc/casts.hh: Rewrite. * NEWS: Mention the small issues. * tests/core/ikwiad.cc, tests/core/ngraph.cc: Adjust to use spot::down_cast instead of down_cast.		2018-01-10 21:35:46 +01:00
..
.gitignore	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
bareword.cc	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
bareword.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
bddlt.hh	Mark bdd_hash as noexcept	2017-11-17 14:31:03 +01:00
bitvect.cc	mark custom hash functions as noexcept	2018-01-09 21:23:11 +01:00
bitvect.hh	mark custom hash functions as noexcept	2018-01-09 21:23:11 +01:00
casts.hh	misc: fix some down_cast issues	2018-01-10 21:35:46 +01:00
common.hh	is_alternating() -> !is_existential()	2017-02-12 15:56:02 +01:00
escape.cc	introduce SPOT_FALLTHROUGH to cope with -Wimplicit-fallthrough	2016-10-07 21:29:34 +02:00
escape.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
fixpool.hh	install back the safety check of includes.test	2016-12-02 15:03:43 +01:00
formater.cc	formater: add support for double-quoted fields	2016-08-08 10:53:33 +02:00
formater.hh	misc/timer: Gather handling of %r and %R options	2017-09-19 17:37:00 +01:00
game.cc	misc: improve previous commit (thanks to A. Duret-Lutz)	2017-11-17 14:07:23 +01:00
game.hh	parity game: compute winning strategy	2017-09-25 12:23:47 +02:00
hash.hh	mark custom hash functions as noexcept	2018-01-09 21:23:11 +01:00
hashfunc.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
intvcmp2.cc	misc: fix some signed shifts	2016-07-27 19:47:34 +02:00
intvcmp2.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
intvcomp.cc	Prefer emplace_back to push_back	2016-11-23 09:39:58 +01:00
intvcomp.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
location.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
ltstr.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
Makefile.am	add ltlsynt executable	2017-09-25 12:23:47 +02:00
memusage.cc	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
memusage.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
minato.cc	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
minato.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
mspool.hh	install back the safety check of includes.test	2016-12-02 15:03:43 +01:00
optionmap.cc	optionmap: remove superfluous code	2016-10-29 12:37:35 +02:00
optionmap.hh	Typos	2017-08-28 17:54:21 +02:00
position.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
random.cc	random: remove bmrand() and prand()	2017-11-02 10:24:08 +01:00
random.hh	random: remove bmrand() and prand()	2017-11-02 10:24:08 +01:00
satsolver.cc	test the SPOT_SATSOLVER envvar	2017-11-02 20:13:58 +01:00
satsolver.hh	test the SPOT_SATSOLVER envvar	2017-11-02 20:13:58 +01:00
timer.cc	misc/timer: Gather handling of %r and %R options	2017-09-19 17:37:00 +01:00
timer.hh	misc/timer: Gather handling of %r and %R options	2017-09-19 17:37:00 +01:00
tmpfile.cc	tmpfile: remove deprecated throw specifiers	2017-01-16 15:39:05 +01:00
tmpfile.hh	tmpfile: remove deprecated throw specifiers	2017-01-16 15:39:05 +01:00
trival.hh	sanity: Replace tabulars by spaces in *.cc *.hh *.hxx	2016-03-10 17:40:46 +01:00
version.cc	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00
version.hh	rename src/ as spot/ and use include <spot/...>	2015-12-04 20:13:59 +01:00