alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/misc
History
Alexandre Duret-Lutz 14570f62d0 bivect: workaround flexible arrays not being standard C++ 
This is a -pedantic warning from gcc.

* src/misc/bitvect.cc, src/misc/bitvect.hh (storage_): Remove.
(storage): New method to access past the end of the struct.
2014-08-19 22:50:08 +02:00
..
.cvsignore Before this change, all automata would construct their own 2003-07-14 21:42:59 +00:00
.gitignore more files to ignore 2011-06-08 17:24:22 +02:00
bareword.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
bareword.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
bddlt.hh Move \ingroup before \brief in all Doxygen comments. 2013-06-08 23:24:37 +02:00
bddop.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
bddop.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
bitvect.cc bivect: workaround flexible arrays not being standard C++ 2014-08-19 22:50:08 +02:00
bitvect.hh bivect: workaround flexible arrays not being standard C++ 2014-08-19 22:50:08 +02:00
casts.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
common.hh tgba_digraph: Simplify declaration of forwarded methods. 2014-08-10 15:17:22 +02:00
escape.cc ltlcross: follow RFC 4180 for CSV output. 2013-11-22 02:13:50 +01:00
escape.hh ltlcross: follow RFC 4180 for CSV output. 2013-11-22 02:13:50 +01:00
fixpool.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
formater.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
formater.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
hash.hh tgbagraph: add a merge_transitions() method. 2014-06-20 13:31:23 +02:00
hashfunc.hh Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
intvcmp2.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
intvcmp2.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
intvcomp.cc common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. 2014-06-27 15:55:26 +02:00
intvcomp.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
location.hh Use the same location.hh and position.hh in all parsers. 2013-07-29 01:14:34 +02:00
ltstr.hh Move \ingroup before \brief in all Doxygen comments. 2013-06-08 23:24:37 +02:00
Makefile.am c++11: get rid of spot::unique_ptr 2014-02-12 14:07:16 +01:00
memusage.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
memusage.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
minato.cc common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. 2014-06-27 15:55:26 +02:00
minato.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
mspool.hh c++11: replace Sgi::hash_* by Sgi::unordered_*. 2014-02-12 14:05:04 +01:00
optionmap.cc Replace << "c" by << 'c', and check for it in style.sh 2014-02-12 16:17:51 +01:00
optionmap.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00
position.hh Use the same location.hh and position.hh in all parsers. 2013-07-29 01:14:34 +02:00
random.cc c++11: Simplify random generation code using C++11. 2014-02-12 14:07:17 +01:00
random.hh c++11: Simplify random generation code using C++11. 2014-02-12 14:07:17 +01:00
satsolver.cc sat: adjust SPOT_SATSOLVER default for glucose 3.0 2014-02-08 21:34:35 +01:00
satsolver.hh sat: factor the creation of temporary files 2014-02-07 12:07:16 +01:00
timer.cc Replace << "c" by << 'c', and check for it in style.sh 2014-02-12 16:17:51 +01:00
timer.hh timer: also consider the time spent in child processes 2014-02-08 20:31:49 +01:00
tmpfile.cc tmpfile: Honor SPOT_TMPFILE and SPOT_TMPKEEP. 2013-07-29 01:14:37 +02:00
tmpfile.hh tmpfile: new module to create and keep track of temporary files. 2013-07-29 01:14:37 +02:00
version.cc misc: Include config.h in *.cc files 2013-07-29 01:14:37 +02:00
version.hh Enable -fvisibility=hidden for src/misc/. 2013-07-29 01:12:12 +02:00