6 commits

Author	SHA1	Message	Date
Dirk-Willem van Gulik	bacdca2752	Add GPS date (https://github.com/DP-3T/documents/issues/135#issuecomment-612567548)	2020-04-12 14:38:55 +02:00
Dirk-Willem van Gulik	18ce48d516	Update for Cuckoo filter with tweaked values	2020-04-11 17:42:40 +02:00
Dirk-Willem van Gulik	920ecdcdff	Add design 1 vectors too	2020-04-10 14:08:53 +02:00
Dirk-Willem van Gulik	9352a6f897	Fix indentation to work with github rendering.	2020-04-10 14:01:38 +02:00
Dirk-Willem van Gulik	c0ec5147bc	Fix indentation	2020-04-10 14:00:38 +02:00
Dirk-Willem van Gulik	88d2820ea8	First cut at a simple implementation profile that captures the 3 test/samples that are at various places on git.	2020-04-10 13:57:51 +02:00