1. 31 Mar, 2020 2 commits
  2. 22 Mar, 2020 1 commit
  3. 15 Mar, 2020 3 commits
  4. 27 Feb, 2020 2 commits
  5. 22 Feb, 2020 4 commits
  6. 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
  7. 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
  8. 06 Nov, 2019 2 commits
  9. 21 Oct, 2019 2 commits
  10. 18 Oct, 2019 22 commits