Casper V. Kristensen 76c7754a5c Fix "Database Size (bits)" -> "Database Size (#records)"		2019-12-16 05:34:40 +01:00
..
old_results	Graphs and results. Here we go bro. Wait, are we actually done?	2019-12-13 19:19:06 +01:00
plots	Fix "Database Size (bits)" -> "Database Size (#records)"	2019-12-16 05:34:40 +01:00
results	Graphs and results. Here we go bro. Wait, are we actually done?	2019-12-13 19:19:06 +01:00
collect.py	Graphs and results. Here we go bro. Wait, are we actually done?	2019-12-13 19:19:06 +01:00
graph.py	Fix "Database Size (bits)" -> "Database Size (#records)"	2019-12-16 05:34:20 +01:00
util.py	Fix graph colours for real.	2019-12-14 17:28:03 +01:00