5 Commits

Include renames

Author	SHA1	Message	Date
Pedro Pinto	b49c764c54	Sped up hedging.	2018-11-13 22:15:30 +00:00
Pedro Pinto	4803c66506	Fixed a few more hardcoded references to .bts	2018-06-04 17:15:29 -04:00
Pedro Pinto	6ae3f62150	Tweaked log viewer script.	2018-02-06 16:03:54 -05:00
Pedro Pinto	a269d82ee5	Improved log viewing script.	2018-02-02 11:55:25 -05:00
Pedro Pinto	07a3f99f78	Added a log pretty-printer and precise time stamps to log msgs. ... We now get a total order for log messages that makes sense and also the possiblity of measuring the time between any log messages precisely. This can be used to provide latency logs for the spreader or any other critical part of the system.	2017-12-29 15:58:53 -05:00