Skip to content
  • Alexandre Duret-Lutz's avatar
    extend HOA I/O to preserve the state-player property · ea9384dd
    Alexandre Duret-Lutz authored
    * spot/parseaut/parseaut.yy, spot/parseaut/scanaut.ll,
    spot/twaalgos/hoa.cc: Add input and output support.
    * doc/org/hoa.org: Document the HOA extension.
    * bin/ltlsynt.cc: Add a --print-game-hoa option to
    produce such format.
    * tests/core/gamehoa.test: New file to test this.
    * tests/Makefile.am: Add it.
    * NEWS: Mention this new feature.
    ea9384dd