-
Alexandre GBAGUIDI AISSE authored
* bin/autcross.cc: Update. * bin/autfilt.cc: Update. * bin/common_aoutput.cc: Gather them. Move process_timer struct. * bin/common_aoutput.hh: Gather them. * bin/common_output.hh: Update. * bin/dstar2tgba.cc: Update. * bin/ltl2tgba.cc: Update. * bin/ltlcross.cc: Update. * bin/ltldo.cc: Update. * bin/ltlfilt.cc: Update. * bin/randaut.cc: Update. * spot/misc/formater.hh: Remove an useless function. * spot/misc/timer.hh: Add process_timer struct definition. * spot/misc/timer.cc: Remove old dead code. * spot/twaalgos/stats.cc: Update. * spot/twaalgos/stats.hh: Update.
ad9bc644