3 Commits

Author	SHA1	Message	Date
Anton Evangelatov	62a9982b76	fix lotus-soup deals baseline test (#172) ... * fix lotus-soup deals baseline test * remove comment * go mod tidy	2020-07-30 16:22:43 +02:00
Anton Evangelatov	7af5ab5445	slashing/termination from failed windowed post + fast retrieval benchmarks (#95)	2020-07-27 13:57:01 +02:00
Raúl Kripalani	69332e1189	sanity check: make sure proof parameters are present; add Makefile for easy download.	2020-07-07 17:37:07 +01:00