Skip to content
  • Alexandre Duret-Lutz's avatar
    hoa: add option to output version 1.1 · 7144efab
    Alexandre Duret-Lutz authored
    * spot/twaalgos/hoa.cc: Implement the option.
    * bin/common_aoutput.cc, doc/org/hoa.org,
    doc/org/oaut.org, spot/twaalgos/hoa.hh, NEWS: Document it.
    * tests/core/strength.test: Test that.
    7144efab
To find the state of this project's repository at the time of any of these versions, check out the tags.