Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltl2tgba, ltldo: add a --negate option · 7f21d3ff
    Alexandre Duret-Lutz authored 
    Suggested by Victor Khomenko.

* bin/ltl2tgba.cc, bin/ltldo.cc: Implement it.
* doc/org/hierarchy.org: Use it.
* tests/core/ltldo2.test: Test it.
* bin/common_output.cc: Typo.
* NEWS: Mention the new option.
    7f21d3ff
To find the state of this project's repository at the time of any of these versions, check out the tags.