5 Commits

Author	SHA1	Message	Date
Łukasz Magiera	cf96ad4fdb	fix lint	2021-04-06 14:30:49 +02:00
Łukasz Magiera	eee50caaf1	Fix buildall	2021-04-05 20:12:47 +02:00
Raúl Kripalani	9a355c4bc5	fix lint errors.	2020-09-27 21:11:32 +01:00
Raúl Kripalani	fe869c9c22	address review comments; lint.	2020-09-27 21:06:07 +01:00
Raúl Kripalani	e5c56da321	move conformance tvx tool to lotus.	2020-09-27 20:10:05 +01:00