Skip to content
  • Alexandre GBAGUIDI AISSE's avatar
    spot: Add %R, %[..]R common option. · 6ed38070
    Alexandre GBAGUIDI AISSE authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    For #189.
    
    * NEWS: Update.
    * bin/autfilt.cc: Replace stopwatch with process_timer.
    * bin/dstar2tgba.cc: Replace stopwatch with process_timer.
    * bin/ltl2tgba.cc: Replace stopwatch with process_timer.
    * bin/ltlcross.cc: Replace stopwatch with process_timer.
    * bin/ltldo.cc: Replace stopwatch with process_timer.
    * bin/randaut.cc: Replace stopwatch with process_timer.
    * bin/common_aoutput.hh: Implement process_timer, integrate it.
    * bin/common_aoutput.cc: Integrate process_timer and implement new
    print method.
    * spot/misc/timer.hh: Modify timer class and timeinfo struct
    i.e. add cutime (children_utime) and cstime (children_stime).
    * spot/misc/timer.cc: Help code to behave as before all this.
    * spot/twaalgos/dtbasat.cc: Help print_log to behave as before
    all this.
    * spot/twaalgos/dtwasat.cc: Help print_log to behave as before
    all this.
    * spot/misc/formater.hh: Add operator<< for spot::timer.
    6ed38070
To find the state of this project's repository at the time of any of these versions, check out the tags.