Commit Graph

23 Commits

Author SHA1 Message Date
9fe489de53
Added unit tests covering predicate signature matching. 2017-06-19 00:18:03 +02:00
60d8b9ba77
Fixed incorrect parsing order of type declarations. 2017-06-19 00:18:02 +02:00
230844c3ae
Fixed whitespace issue in typing sections and added test cases. 2017-06-19 00:18:02 +02:00
0b8da69394
Added official PDDL competition instances for automated testing. 2017-06-19 00:13:03 +02:00
b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. 2016-08-30 18:48:24 +02:00
91019f52aa Fixed issue with unsupported expression negations. 2016-08-16 18:58:30 +02:00
da85e5dd9b Checking whether variables have types before accessing them in the PDDL translator. 2016-06-13 16:37:35 +02:00
be09230410 Added test for PDDL comment parsing. 2016-06-10 16:50:08 +02:00
15061f75a9 Added test covering last issue. 2016-06-09 18:48:16 +02:00
23170e170a Added test covering last two issues. 2016-06-09 18:32:55 +02:00
d629f50661 Added many PDDL syntax error tests. 2016-06-09 15:19:01 +02:00
d92a3e9239 Started testing PDDL problem parsing for a Storage problem. 2016-06-08 13:57:01 +02:00
d23ec14e9d Started testing PDDL problem parsing for a Blocks World problem. 2016-06-08 13:52:36 +02:00
50315f5fae Relaxing white space requirements. 2016-06-02 23:41:40 +02:00
63d74e3524 Replaced tabs with spaces in test file to get more accurate parser positions in errors. 2016-06-02 16:28:26 +02:00
25cf7c8ae8 Implemented parsing of PDDL constants. 2016-06-01 16:47:34 +02:00
3c97ced486 Implemented predicate parsing and refactored context storage. 2016-06-01 14:11:13 +02:00
a989f5f86e Started implementing PDDL type parsing. 2016-05-30 20:43:36 +02:00
1c4c035acc Added missing test file for PDDL parser tests. 2016-05-30 15:47:57 +02:00
430bedc2cc Added test covering SAS feature requirements. 2016-05-24 02:03:13 +02:00
d118788142 Parsing <none of those> values in SAS files. 2016-05-23 01:27:28 +02:00
081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. 2016-05-23 00:47:30 +02:00
16b8b4c833 Added tests for SAS parser. 2016-05-20 18:46:37 +02:00