tree fe505b3193542b2b69f0e0ea5a90fe37cf508bff
parent 08208497d8cf7843d58e744081e60c84e1e81216
author Alexander Lane <awlane@memphis.edu> 1690329623 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1690330081 -0400

Improve logging functionality

The format of timestamps is now configurable via a new
--timestamp-format option. The default format is changed
to Unix epoch time with microsecond granularity.

Co-authored-by: Davide Pesavento <davidepesa@gmail.com>
Change-Id: I7dd7fb770becca7aa339e003b1111366f34ce925