 Patrick Lühne
|
9afabacde3
|
Switched to intrusive pointers for much easier maintenance.
|
2016-09-04 18:26:02 +02:00 |
|
Patrick Lühne
|
63de1891af
|
Fixed missing normalization step of arguments to imply statements and extended test to cover the issue.
|
2016-09-02 19:25:25 +02:00 |
|
Patrick Lühne
|
9aad139aae
|
Added test covering the removal of implications.
|
2016-09-02 18:45:00 +02:00 |
|
Patrick Lühne
|
4fb2c331f3
|
Added dummy expression to check that with removed double negations, expressions are still correctly normalized.
|
2016-09-02 18:32:13 +02:00 |
|
Patrick Lühne
|
1a96c3ec72
|
Added test covering removal of double negations.
|
2016-09-02 18:27:00 +02:00 |
|
Patrick Lühne
|
b4f7e4f102
|
Added test case covering unexpected whitespaces in SAS file.
|
2016-08-30 18:48:24 +02:00 |
|
Patrick Lühne
|
76f8df13fc
|
Fixed parsing issue with unexpected whitespaces in SAS files.
|
2016-08-30 13:01:22 +02:00 |
|
Patrick Lühne
|
91019f52aa
|
Fixed issue with unsupported expression negations.
|
2016-08-16 18:58:30 +02:00 |
|
Patrick Lühne
|
cdb06fa5bf
|
Improved output format and highlighting.
|
2016-08-16 18:35:55 +02:00 |
|
Patrick Lühne
|
d0864b9efe
|
Extended parser tests.
|
2016-08-08 12:40:02 +02:00 |
|
Patrick Lühne
|
18bd606262
|
Extended parser tests.
|
2016-08-07 16:46:48 +02:00 |
|
Patrick Lühne
|
544d4e0635
|
Major refactoring of underlying Parser class.
|
2016-08-02 20:33:49 +02:00 |
|
Patrick Lühne
|
73c9d6c1f3
|
Checking that Parser initially is case-sensitive.
|
2016-06-22 09:14:01 +01:00 |
|
Patrick Lühne
|
d9578b6f1c
|
Testing Parser position with seek and advance.
|
2016-06-22 09:07:19 +01:00 |
|
Patrick Lühne
|
b5e325cbee
|
Testing Parser’s reset method.
|
2016-06-22 09:02:46 +01:00 |
|
Patrick Lühne
|
0de2489440
|
Using LogStreams in the PDDL translator.
|
2016-06-14 16:14:39 +02:00 |
|
Patrick Lühne
|
342a346fce
|
Started implementing colored output.
|
2016-06-14 12:47:39 +02:00 |
|
Patrick Lühne
|
e0dd9833a3
|
Made unsupported expressions a separate type for disambiguation to fix issues with unsupported features.
|
2016-06-14 01:31:22 +02:00 |
|
Patrick Lühne
|
da85e5dd9b
|
Checking whether variables have types before accessing them in the PDDL translator.
|
2016-06-13 16:37:35 +02:00 |
|
Patrick Lühne
|
680206b40b
|
Removed Reference expressions.
|
2016-06-13 01:38:56 +02:00 |
|
Patrick Lühne
|
1c8af793c2
|
Made PDDL action preconditions and effects optional.
|
2016-06-12 23:51:45 +02:00 |
|
Patrick Lühne
|
be09230410
|
Added test for PDDL comment parsing.
|
2016-06-10 16:50:08 +02:00 |
|
Patrick Lühne
|
9f0e784a4a
|
Implemented recognition of comments in PDDL.
|
2016-06-10 16:40:43 +02:00 |
|
Patrick Lühne
|
c6bdfe3f38
|
Renamed issue checking test.
|
2016-06-09 23:35:57 +02:00 |
|
Patrick Lühne
|
d1063b345d
|
Renamed error detection tests.
|
2016-06-09 23:31:12 +02:00 |
|
Patrick Lühne
|
9a034cb556
|
Testing goal for Storage problem.
|
2016-06-09 23:21:05 +02:00 |
|
Patrick Lühne
|
5cd22d284b
|
Testing goal for Blocks World problem.
|
2016-06-09 23:19:20 +02:00 |
|
Patrick Lühne
|
15061f75a9
|
Added test covering last issue.
|
2016-06-09 18:48:16 +02:00 |
|
Patrick Lühne
|
23170e170a
|
Added test covering last two issues.
|
2016-06-09 18:32:55 +02:00 |
|
Patrick Lühne
|
3041b6a278
|
Testing initial state for Storage problem.
|
2016-06-09 18:16:51 +02:00 |
|
Patrick Lühne
|
2da5be548a
|
Testing initial state for Blocks World problem.
|
2016-06-09 18:13:19 +02:00 |
|
Patrick Lühne
|
d629f50661
|
Added many PDDL syntax error tests.
|
2016-06-09 15:19:01 +02:00 |
|
Patrick Lühne
|
d92a3e9239
|
Started testing PDDL problem parsing for a Storage problem.
|
2016-06-08 13:57:01 +02:00 |
|
Patrick Lühne
|
d23ec14e9d
|
Started testing PDDL problem parsing for a Blocks World problem.
|
2016-06-08 13:52:36 +02:00 |
|
Patrick Lühne
|
ad23c89266
|
Refactored PDDL tests.
|
2016-06-08 13:41:17 +02:00 |
|
Patrick Lühne
|
069ad4ca99
|
To-dos and formatting.
|
2016-06-08 01:19:49 +02:00 |
|
Patrick Lühne
|
eea3272c56
|
Made Parser seekable for easier maintenance.
|
2016-06-07 18:41:01 +02:00 |
|
Patrick Lühne
|
64190ba55a
|
Added more tests for PDDL actions.
|
2016-06-07 14:07:17 +02:00 |
|
Patrick Lühne
|
c489c7fd5a
|
Added tests for PDDL actions.
|
2016-06-07 14:00:29 +02:00 |
|
Patrick Lühne
|
acc063822e
|
Minor formatting in PDDL parser tests.
|
2016-06-07 13:40:01 +02:00 |
|
Patrick Lühne
|
e607ca4e8e
|
Refactored PDDL parser to make all input case-insensitive.
|
2016-06-04 18:28:43 +02:00 |
|
Patrick Lühne
|
c93661f44e
|
Finished refactoring of expressions.
|
2016-06-04 14:46:05 +02:00 |
|
Patrick Lühne
|
daa063c338
|
Big refactoring (build still broken).
|
2016-06-03 17:12:39 +02:00 |
|
Patrick Lühne
|
5abf1f8a84
|
Removed obsolete Variable class.
|
2016-06-03 13:37:23 +02:00 |
|
Patrick Lühne
|
50315f5fae
|
Relaxing white space requirements.
|
2016-06-02 23:41:40 +02:00 |
|
Patrick Lühne
|
63d74e3524
|
Replaced tabs with spaces in test file to get more accurate parser positions in errors.
|
2016-06-02 16:28:26 +02:00 |
|
Patrick Lühne
|
25cf7c8ae8
|
Implemented parsing of PDDL constants.
|
2016-06-01 16:47:34 +02:00 |
|
Patrick Lühne
|
3c97ced486
|
Implemented predicate parsing and refactored context storage.
|
2016-06-01 14:11:13 +02:00 |
|
Patrick Lühne
|
ced1fd0038
|
Started refactoring Types with variants.
|
2016-06-01 01:29:46 +02:00 |
|
Patrick Lühne
|
2654a6ff23
|
Started implementing predicate parsing.
|
2016-05-31 16:43:25 +02:00 |
|
Patrick Lühne
|
5f763e90fc
|
Refactored Requirement to be a proper class.
|
2016-05-31 14:11:21 +02:00 |
|
Patrick Lühne
|
a989f5f86e
|
Started implementing PDDL type parsing.
|
2016-05-30 20:43:36 +02:00 |
|
Patrick Lühne
|
1c4c035acc
|
Added missing test file for PDDL parser tests.
|
2016-05-30 15:47:57 +02:00 |
|
Patrick Lühne
|
d26ff2df77
|
Implemented computation of derived requirements.
|
2016-05-30 15:44:13 +02:00 |
|
Patrick Lühne
|
b89b1708c3
|
Additional line-skipping tests for Parser.
|
2016-05-30 13:00:55 +02:00 |
|
Patrick Lühne
|
f9c5a830e1
|
Additional assertions in Parser test cases.
|
2016-05-30 12:58:10 +02:00 |
|
Patrick Lühne
|
348bd98de8
|
Extended Parser tests with whitespace handling check.
|
2016-05-30 12:56:30 +02:00 |
|
Patrick Lühne
|
8f705b0737
|
Added test for Parser’s cursor position.
|
2016-05-30 12:32:13 +02:00 |
|
Patrick Lühne
|
07eb23b312
|
Refactored basic parsing.
|
2016-05-27 03:58:59 +02:00 |
|
Patrick Lühne
|
d9a40af3f0
|
Using unsigned constants in tests to avoid warnings with Google Test.
|
2016-05-26 00:17:55 +02:00 |
|
Patrick Lühne
|
c899ba6449
|
Added tests covering basic parsing.
|
2016-05-24 02:23:56 +02:00 |
|
Patrick Lühne
|
9b2ed2e03e
|
Added test covering the parsing of action costs and conditional effects.
|
2016-05-24 02:13:21 +02:00 |
|
Patrick Lühne
|
430bedc2cc
|
Added test covering SAS feature requirements.
|
2016-05-24 02:03:13 +02:00 |
|
Patrick Lühne
|
05058c149e
|
Added axiom rule support for SAS translator output.
|
2016-05-23 17:13:11 +02:00 |
|
Patrick Lühne
|
d118788142
|
Parsing <none of those> values in SAS files.
|
2016-05-23 01:27:28 +02:00 |
|
Patrick Lühne
|
081b604c40
|
Added test for removal of trailing parantheses with 0-ary predicates.
|
2016-05-23 00:47:30 +02:00 |
|
Patrick Lühne
|
d8d6998936
|
Escaping predicates containing hyphens for ASP output.
|
2016-05-22 20:19:45 +02:00 |
|
Patrick Lühne
|
1e47173d17
|
Made Predicate a proper class.
|
2016-05-22 16:00:58 +02:00 |
|
Patrick Lühne
|
6677ded33e
|
Made Effect a proper class.
|
2016-05-22 15:46:41 +02:00 |
|
Patrick Lühne
|
37af6d5127
|
Made AxiomRule a proper class.
|
2016-05-22 15:00:54 +02:00 |
|
Patrick Lühne
|
21237ecac7
|
Made Operator a proper class.
|
2016-05-22 14:35:53 +02:00 |
|
Patrick Lühne
|
90dfa302a9
|
Made Goal a proper class.
|
2016-05-22 14:04:58 +02:00 |
|
Patrick Lühne
|
beef3aca60
|
Made InitialState a proper class.
|
2016-05-22 13:58:05 +02:00 |
|
Patrick Lühne
|
c7c7a93eba
|
Outsourced SAS value parsing.
|
2016-05-21 17:09:55 +02:00 |
|
Patrick Lühne
|
273e310c60
|
Made Value a proper class.
|
2016-05-21 16:22:40 +02:00 |
|
Patrick Lühne
|
5e016d2d79
|
Made Variable a proper class.
|
2016-05-21 15:54:03 +02:00 |
|
Patrick Lühne
|
e714060112
|
Added tests for parsing the operator predicates.
|
2016-05-21 02:06:35 +02:00 |
|
Patrick Lühne
|
0e4233cc65
|
Added tests for parsing value signs.
|
2016-05-21 01:20:27 +02:00 |
|
Patrick Lühne
|
fa19c0e848
|
Fixed Google Test version to release 1.7.0.
|
2016-05-21 00:35:44 +02:00 |
|
Patrick Lühne
|
e0c510a95f
|
Added Google Test as a submodule to avoid potential linking issues.
|
2016-05-20 21:59:44 +02:00 |
|
Patrick Lühne
|
38c8a96d99
|
Added missing REQUIRED flag in CMake file for tests.
|
2016-05-20 21:37:30 +02:00 |
|
Patrick Lühne
|
5096161de9
|
Added custom target for executing the tests.
|
2016-05-20 20:00:03 +02:00 |
|
Patrick Lühne
|
ffda7b5e27
|
Minor formatting.
|
2016-05-20 19:50:11 +02:00 |
|
Patrick Lühne
|
16b8b4c833
|
Added tests for SAS parser.
|
2016-05-20 18:46:37 +02:00 |