Add “known issues” file #21

New Issue

patrick · 2017-11-16T22:15:24+01:00

patrick commented

2017-11-16 22:15:24 +01:00

There should be a known issues file that lists all the missing features, known bugs, and other things that I plan to improve at some point.

Known Issues

multiple PDDL features are not yet supported (see list of PDDL features supported by plasp)
SAS axiom rules and plasp’s derived predicates (obtained through normalization) are semantically similar, but differently represented in the output format
the example encoding does not support layers of SAS axiom rules
in compatibility mode, the outdated vars sections within action definitions are handled just like parameters, which is semantically incorrect
several error messages obtained with syntax errors are misleading

There should be a *known issues* file that lists all the missing features, known bugs, and other things that I plan to improve at some point. ### Known Issues - multiple PDDL features are not yet supported (see list of PDDL features supported by `plasp`) - SAS axiom rules and `plasp`’s derived predicates (obtained through normalization) are semantically similar, but differently represented in the output format - the [example encoding](encodings/sequential-incremental.lp) does not support layers of SAS axiom rules - in compatibility mode, the outdated `vars` sections within action definitions are handled just like `parameters`, which is semantically incorrect - several error messages obtained with syntax errors are misleading

patrick added this to the plasp 3.1.0 milestone 2017-11-16 22:15:24 +01:00

patrick self-assigned this 2017-11-16 22:15:24 +01:00

patrick added the

documentation

task

labels 2017-11-16 22:15:24 +01:00

patrick closed this issue

2017-11-17 15:32:49 +01:00

This repo is archived. You cannot comment on issues.