• Alexandre Duret-Lutz's avatar
    ltsmin: implement a two-step loading · 907b72fb
    Alexandre Duret-Lutz authored
    * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: Split load_ltsmin() into
    ltsmin_model::load() and ltsmin_model::kripke().  Report errors using
    exceptions instead of on std::cerr.
    * python/spot/ltsmin.i: Deal with exceptions.
    * tests/ltsmin/modelcheck.cc, tests/python/ltsmin.ipynb: Adjust.
    907b72fb
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 113 KB