4 Commits

Author	SHA1	Message	Date
Delyan Angelov	2f1cc2bd08	v.util: simplify the sorting of v's timing output	2020-12-19 12:55:42 +02:00
Delyan Angelov	a1c81aa49d	v,gen,checker: implement -d time_checking -d time_cgening -d time_v	2020-12-19 12:36:08 +02:00
Delyan Angelov	6f7889a3ca	parser: support for -d time_parsing	2020-12-18 17:23:57 +02:00
Delyan Angelov	7e1e247f56	builder: implement b.timing_start/1 and b.timing_measure/1	2020-12-18 13:21:17 +02:00