2 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	6d9d35c985	acc: turn some assertions into exceptions ... * spot/misc/bitset.cc, spot/misc/bitset.hh (set, clear): Turn asserts into exceptions. * spot/twa/acc.hh (mark_t): As a consequence, the constructor is not noexcept anymore. * tests/core/acc.cc, tests/python/except.py: More tests.	2018-05-26 09:44:18 +02:00
Alexandre Duret-Lutz	cc2c4615d0	bitset: optimize the code generated by shifts in common cases ... * spot/misc/bitset.hh: Here. * spot/misc/bitset.cc: New file. * spot/misc/Makefile.am: Add it. * spot/twa/acc.hh: Conditionally remove the exception checks around shift operators. * spot/misc/common.hh (SPOT_ASSUME): New macro.	2018-05-24 19:23:48 +02:00