• Alexandre Duret-Lutz's avatar
    relabel_here: make it compatible with relabel_bse · 0bc1dd44
    Alexandre Duret-Lutz authored
    * spot/twaalgos/relabel.cc: Deal with the cases where the substitution
    value is a Boolean formula.
    * spot/twaalgos/relabel.hh: Improve documentation.
    * tests/python/relabel.py: Add more tests.
    * python/spot/impl.i: Add bindings for are_isomorphic for the above
    test.
    * NEWS: Mention the news.
    0bc1dd44
To find the state of this project's repository at the time of any of these versions, check out the tags.