Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltlsynt: add --from-pgame option to read parity games · be28365d
    Alexandre Duret-Lutz authored 
    * bin/common_file.cc, bin/common_file.hh (output_file): Add a
force_append option.
* bin/ltlsynt.cc: Implement the --from-pgame option, and
fix suppot for --csv when multiple inputs are processed.
* NEWS: Mention the new option.
* tests/core/syfco.test: Add a test case.
* tests/core/ltlsynt-pgame.test: New file.
* tests/Makefile.am: Add it.
    be28365d
To find the state of this project's repository at the time of any of these versions, check out the tags.