-
Thibault Allançon authored
* spot/mc/bitstate.hh, spot/mc/mc.hh, tests/ltsmin/modelcheck.cc: use size_t for mem_size * spot/mc/bloom_filter.hh, spot/misc/hashfunc.hh: regroup hash function
2e890dfa
* spot/mc/bitstate.hh, spot/mc/mc.hh, tests/ltsmin/modelcheck.cc: use size_t for mem_size * spot/mc/bloom_filter.hh, spot/misc/hashfunc.hh: regroup hash function