2 Commits

Author	SHA1	Message	Date
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