23 Commits (master)
 

Author SHA1 Message Date
Patrick Lühne e014a450ed Add fixed-horizon option to benchmark runner 4 years ago
Patrick Lühne f845e2a95b
Put IPC year in result tables in parentheses 4 years ago
Patrick Lühne 0ef8b69486
Add option to print evaluation as plain text 4 years ago
Patrick Lühne 519338232c
Add evaluation dashboard generator 4 years ago
Patrick Lühne f08b17298d
Raise memory limit by 1024 MB 4 years ago
Patrick Lühne 18e4074453
Support separate domain files 4 years ago
Patrick Lühne ef6d1c4a7f
Fix links to configurations and instances 4 years ago
Patrick Lühne 24b1bf655b
Use Git worktrees instead of branches 4 years ago
Patrick Lühne 966746e4f9
Minor formatting 4 years ago
Patrick Lühne 01222247a2
Run only required instances 4 years ago
Patrick Lühne 860c5711ef
Add Python version to environment file 4 years ago
Patrick Lühne d99be12b05
Explicitly call the planner with Python 4 years ago
Patrick Lühne f984ea15f3
Add Python to config file 4 years ago
Patrick Lühne 7e51d5fedf
Modify commit message on errors 4 years ago
Patrick Lühne ae7a4306a0
Log planner exit code 4 years ago
Patrick Lühne 4239e36a3d
Require error output to exist 4 years ago
Patrick Lühne 837422e4b0
Enforce certain Git commands to succeed 4 years ago
Patrick Lühne b98f6f44b4
Add .gitignore to ignore config file 4 years ago
Patrick Lühne 849f10c24e
Rename config file 4 years ago
Patrick Lühne 60128d03ef
Truncate status log after 100 lines 4 years ago
Patrick Lühne 1d27a3246c
Add support for GPG signing 4 years ago
Patrick Lühne 5d06d0127c
Add benchmark runner script with example config 4 years ago
Patrick Lühne e2cb68c8fb
Initial commit 4 years ago