• 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.
    8cf54264
ltlfilt.cc 27.7 KB