• 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
bitstate.hh 3.57 KB