debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
-rw-r--r-- 318 Makefile
-rw-r--r-- 761 README
drwxr-xr-x - examples
drwxr-xr-x - notes
drwxr-xr-x - test
drwxr-xr-x - tools