Planning benchmarks for the extended TPLP journal version of the plasp paper

Patrick Lühne 24b1bf655b Use Git worktrees instead of branches ... Checking out branches with many files consumes increasing amounts of time. For this reason, this commit introduces worktrees that represent the individual branches in different directories, while still maintaining only one copy of the .git directory.		2017-11-24 16:35:36 +01:00
.gitignore	Add .gitignore to ignore config file	2017-11-21 00:11:01 +01:00
benchmark.py	Use Git worktrees instead of branches	2017-11-24 16:35:36 +01:00
config.example.yml	Add Python to config file	2017-11-21 02:21:30 +01:00
README.md	Add benchmark runner script with example config	2017-11-19 22:55:48 +01:00