1. 15 Mar, 2020 1 commit
  2. 27 Feb, 2020 2 commits
  3. 22 Feb, 2020 4 commits
  4. 14 Feb, 2020 1 commit
    • Thibault Allançon's avatar
      mc: bloom_filter: move code out of bitstate.hh · 64bcc008
      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
  5. 07 Feb, 2020 1 commit
    • Thibault Allançon's avatar
      mc: bitstate: add first bitstate hashing experiments · 365e60d5
      Thibault Allançon authored
      Basic benchmark with DFS and DFS with bitstate hashing (using Jenkins
      lookup3 hash function).
      
      * spot/mc/Makefile.am: add bitstate.hh
      * spot/mc/bitstate.hh: implementation here
      * spot/mc/mc.hh: add bitstate wrapper
      * tests/ltsmin/modelcheck.cc: add bitstate CLI
      365e60d5
  6. 06 Nov, 2019 2 commits
  7. 21 Oct, 2019 2 commits
  8. 18 Oct, 2019 27 commits