1. 21 Oct, 2019 1 commit
    • Antoine Martin's avatar
      mc: implement CNDFS · fe7094a4
      Antoine Martin authored
      * spot/mc/Makefile.am: add cndfs.hh
      * spot/mc/cndfs.hh, spot/mc/mc.hh: implementation here
      * tests/ltsmin/check.test: test CNDFS
      * tests/ltsmin/modelcheck.cc: add CNDFS option
      fe7094a4
  2. 18 Oct, 2019 39 commits