-
Thibault Allançon authored
- New bloom filter class (with only Jenkins hash for now) - Use std::vector<bool> instead of std::bitset to allow dynamic bitset size - Specify memory size with command line option: -H MEM_SIZE * spot/mc/Makefile.am: add bloom_filter.hh * spot/mc/bitstate.hh: implementation here * spot/mc/bloom_filter.hh: implementation here * spot/mc/mc.hh: modify bitstate wrapper * tests/ltsmin/modelcheck.cc: specify mem size in CLI
64bcc008