• Alexandre GBAGUIDI AISSE's avatar
    ltlfilt: Add %r and %R format options · 8cf54264
    Alexandre GBAGUIDI AISSE authored
    * NEWS: Declare new options.
    * bin/common_output.cc: Add new options.
    * bin/common_output.hh: Add new options.
    * bin/genltl.cc: Update.
    * bin/ltlfilt.cc: Update.
    * bin/ltlgrind.cc: Update.
    * bin/randltl.cc: Update.
To find the state of this project's repository at the time of any of these versions, check out the tags.