Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    ltlfilt: add a --exclusive-ap option · 544c533e
    Alexandre Duret-Lutz authored 
    * src/ltlvisit/exclusive.cc, src/ltlvisit/exclusive.hh: New files.
* src/ltlvisit/Makefile.am: Add them.
* src/bin/ltlfilt.cc: Implement the --exclusive-ap option.
* NEWS: Mention it.
* src/ltltest/exclusive.test: New file.
* src/ltltest/Makefile.am: Add it.
    544c533e
To find the state of this project's repository at the time of any of these versions, check out the tags.