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
diff --git a/AUTHORS.md b/AUTHORS.md
index a0f6c55..67e928f 100644
--- a/AUTHORS.md
+++ b/AUTHORS.md
@@ -7,6 +7,7 @@
* Jerald Paul Abraham <https://www2.cs.arizona.edu/~jeraldabraham>
* Alexander Afanasyev <https://users.cs.fiu.edu/~afanasyev>
* Jing Guan <http://jennica.space>
+* Alexander Lane <https://github.com/awlane>
* Spencer Lee <https://www.linkedin.com/in/spenlee>
* Eric Newberry <https://ericnewberry.com>
* Davide Pesavento <https://github.com/Pesa>