| .. |
|
.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
|
fix ASAN reports about mismatched emplace new/delete
|
2017-11-17 18:11:55 +01:00 |
|
bitvect.hh
|
fix ASAN reports about mismatched emplace new/delete
|
2017-11-17 18:11:55 +01:00 |
|
casts.hh
|
Rework the 'down_cast' macro, closing #196.
|
2017-02-02 17:01:40 +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
|
sanity: Replace tabulars by spaces in *.cc *.hh *.hxx
|
2016-03-10 17:40:46 +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 |
d89579321f