1. 29 May, 2020 1 commit
  2. 28 May, 2020 1 commit
  3. 25 May, 2020 1 commit
  4. 23 May, 2020 1 commit
  5. 20 May, 2020 1 commit
  6. 18 May, 2020 1 commit
  7. 23 Apr, 2020 1 commit
  8. 14 Apr, 2020 1 commit
  9. 13 Apr, 2020 3 commits
  10. 31 Mar, 2020 2 commits
  11. 22 Mar, 2020 1 commit
  12. 21 Mar, 2020 1 commit
    • Thibault Allançon's avatar
      bricks: update library to latest 4.4.2 version · b1a28932
      Thibault Allançon authored
      * spot/Makefile.am,
      spot/bricks/brick-assert,
      spot/bricks/brick-bitlevel,
      spot/bricks/brick-hash,
      spot/bricks/brick-hashset,
      spot/bricks/brick-min,
      spot/bricks/brick-ptr,
      spot/bricks/brick-shmem,
      spot/bricks/brick-string,
      spot/bricks/brick-trace,
      spot/bricks/brick-types: update here.
      b1a28932
  13. 15 Mar, 2020 3 commits
  14. 10 Mar, 2020 1 commit
  15. 27 Feb, 2020 2 commits
  16. 22 Feb, 2020 4 commits
  17. 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
  18. 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
  19. 06 Nov, 2019 2 commits
  20. 21 Oct, 2019 2 commits
  21. 18 Oct, 2019 9 commits