patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
31 Commits 12 Branches 0 Tags
9196f54c62a32cf312bce8eb2ab7cf06bdfd992a
Commit Graph
31 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
patrick 9196f54c62 Remove unused function 2018-09-26 17:21:06 +02:00
patrick 0710ee8a44 Update Cargo lock file 2018-09-26 01:21:45 +02:00
patrick 7c4bf22356 Implement example control loop 2018-09-26 01:21:21 +02:00
patrick 094cb5a3bb Add function to read files from repository 2018-09-17 23:45:40 +02:00
patrick dd333768b0 Support committing multiple files 2018-09-17 17:45:30 +02:00
patrick 19c51dc358 Minor renaming 2018-09-17 17:21:43 +02:00
patrick be2e15384b Use index for writing trees 2018-09-17 17:14:47 +02:00
patrick ec0feab38d Add Rust implementation 2018-09-17 15:42:26 +02:00
patrick 75dd53c1e8 tmp 2018-06-24 03:47:57 +02:00
patrick 021ce2b078 tmp 2018-06-24 00:25:37 +02:00
patrick 2a214ff0ba tmp 2018-06-22 14:27:25 +02:00
patrick 996bd42ed7 Intermediate commit with evaluation tool 2017-11-30 13:44:11 +01:00
patrick f08b17298d Raise memory limit by 1024 MB 
We noticed that when using a 8192 MB memory limit, Madagascar frequently
surpasses this limit. This is probably due to a difference in how the
memory consumption is measured in the benchmark runner and Madagascar.
For this reason, this commit raises the memory limit by a tolerance
margin of 1024 MB.
 2017-11-29 18:21:38 +01:00
patrick 18e4074453 Support separate domain files 
With this change, the benchmark runner looks for per-problem domain
files in the case that there is no single domain.pddl file. This is
necessary for a range of domains where there is a domain file for each
problem file.
 2017-11-28 00:53:29 +01:00
patrick ef6d1c4a7f Fix links to configurations and instances 
The file names changed, which is why the readme needed to be updated.
 2017-11-27 01:29:46 +01:00
patrick 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
patrick 966746e4f9 Minor formatting 2017-11-24 15:10:00 +01:00
patrick 01222247a2 Run only required instances 
Due to a mistake, all instances were tested for all configurations. This
commit checks whether a specific instance is actually required for the
tested configuration and skips it if not.
 2017-11-24 14:47:39 +01:00
patrick 860c5711ef Add Python version to environment file 2017-11-21 02:27:10 +01:00
patrick d99be12b05 Explicitly call the planner with Python 
This is to force the planner to be executed with the configuration-
specified Python version and not the default one.
 2017-11-21 02:24:12 +01:00
patrick f984ea15f3 Add Python to config file 2017-11-21 02:21:30 +01:00
patrick 7e51d5fedf Modify commit message on errors 
If errors are encountered, print a different commit message to the
results branch so that it can be spotted more easily.
 2017-11-21 00:11:01 +01:00
patrick ae7a4306a0 Log planner exit code 
This adds a log entry containing the exit code to the output as well as
the environment description file. This makes it easier to check for
errors.
 2017-11-21 00:11:01 +01:00
patrick 4239e36a3d Require error output to exist 
With this commit, the error output is required to exist in order for an
instance to be considered done. This is just a defensive measure to
ensure that no useful information can be missed.
 2017-11-21 00:11:01 +01:00
patrick 837422e4b0 Enforce certain Git commands to succeed 
This enforces all Git commands that are absolutely relevant for keeping
the benchmark running to succeed. If they don’t, an error is immediately
thrown. This doesn’t include fetching and pushing, because syncing the
data is still possible after downtimes, for example.
 2017-11-21 00:11:01 +01:00
patrick b98f6f44b4 Add .gitignore to ignore config file 2017-11-21 00:11:01 +01:00
patrick 849f10c24e Rename config file 
It’s more common to give YAML files the ending .yml and not .yaml.
 2017-11-21 00:11:01 +01:00
patrick 60128d03ef Truncate status log after 100 lines 
The Git history is sufficient for viewing past status messages.
Additionally, long status log files tend to take long to render. With
this commit, only the most recent 100 lines are kept, and this number
can be configured.
 2017-11-21 00:11:01 +01:00
patrick 1d27a3246c Add support for GPG signing 2017-11-20 00:11:28 +01:00
patrick 5d06d0127c Add benchmark runner script with example config 2017-11-19 22:55:48 +01:00
patrick e2cb68c8fb Initial commit 2017-11-19 22:54:55 +01:00