patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Commit Graph

  • bfb382de52 Fixed incorrect constant types and added unit test. patrick 2017-06-18 00:18:22 +02:00
  • 101f33df6e Removed unused test file. patrick 2017-06-18 00:08:06 +02:00
  • 615167e7cd Implemented compatibility mode to support old instances. patrick 2017-06-17 22:18:39 +02:00
  • dde277cc3e Added to-do. patrick 2017-06-17 22:08:32 +02:00
  • 7ead2277e8 Prepared exceptions to have different types. patrick 2017-06-17 22:06:18 +02:00
  • da2a3eefa4 Added extensive test covering Blocksworld instance. patrick 2017-06-17 21:20:07 +02:00
  • 3877012274 Minor extension of unit test covering Blocksworld domain. patrick 2017-06-17 21:10:26 +02:00
  • e0aca18b38 Removed unnecessary directives in test case. patrick 2017-06-17 21:05:38 +02:00
  • 19c81effbe Added extensive test for Blocksworld domain. patrick 2017-06-17 21:05:13 +02:00
  • f83f9edbef Reimplemented goal parser. patrick 2017-06-17 20:21:26 +02:00
  • f90009b6d1 Reimplemented initial state parser. patrick 2017-06-17 19:58:00 +02:00
  • fbcb790611 Minor refactoring. patrick 2017-06-17 19:57:22 +02:00
  • 8c98548dbc Minor formatting. patrick 2017-06-17 19:56:53 +02:00
  • 20c687a787 Corrected exception types. patrick 2017-06-17 19:56:13 +02:00
  • d376c1a993 Allowing atomic formulas and not just predicates in preconditions and effects. patrick 2017-06-17 19:36:02 +02:00
  • 10e658a922 Added back support for parsing effects and even conditional effects. patrick 2017-06-17 19:04:27 +02:00
  • 9c30e27875 Fixed incorrect parsing method for “when” expressions. patrick 2017-06-17 18:47:40 +02:00
  • 14c498c539 Handling unsupported preferences in preconditions. patrick 2017-06-17 18:37:57 +02:00
  • f4c1d65365 Made warnings more concise and consistent. patrick 2017-06-17 18:25:19 +02:00
  • 34d9c7a1c2 Added warnings for currently under-construction sections. patrick 2017-06-17 18:17:23 +02:00
  • 0d3cb152f9 Finished precondition parsing. patrick 2017-06-17 18:08:51 +02:00
  • 63e15d37e8 Made precondition parsing more robust. patrick 2017-06-17 18:00:58 +02:00
  • 51249fd678 Refactored parsing variables, constants, and predicates. patrick 2017-06-17 18:00:26 +02:00
  • 0de5b9eb56 Added to-do. patrick 2017-06-17 17:57:31 +02:00
  • 8288345bcb Added missing method implementation to tokenizer. patrick 2017-06-17 17:56:48 +02:00
  • f349b5e351 Minor formatting. patrick 2017-06-17 17:07:29 +02:00
  • de69003105 Sectioning unit tests for meaningful error messages. patrick 2017-06-17 17:07:09 +02:00
  • c84cafda18 Fixed constant parsing if no problem is specified. patrick 2017-06-17 17:06:49 +02:00
  • 78b4636028 Continued working on reimplementing action parser. patrick 2017-06-16 04:45:04 +02:00
  • 9fbe0db567 Extended unit test on “either” types. patrick 2017-06-16 04:25:42 +02:00
  • 1876d1fe0b Fixed parsing of types. patrick 2017-06-16 04:21:19 +02:00
  • 30a092b365 Corrected scope of acceptance tests. patrick 2017-06-16 03:40:20 +02:00
  • 464550cb5b Renamed tests file. patrick 2017-06-16 03:36:04 +02:00
  • a6babf3e90 Reimplemented major parts of parsing preconditions. patrick 2017-06-16 03:34:32 +02:00
  • 62b9da844a Started reimplementing expression parsing. patrick 2017-06-16 01:29:49 +02:00
  • fa9fd0935b Made error message more precise. patrick 2017-06-16 00:02:41 +02:00
  • 1e77a6b043 Added “domain-axioms” as an ignored requirement to increase compatibility. patrick 2017-06-15 23:58:11 +02:00
  • 216decafc1 Allowing types to be undeclared for increased compatibility. patrick 2017-06-15 23:51:36 +02:00
  • 849faad134 Added compatibility check for unsupported “in-package” sections. patrick 2017-06-15 23:45:08 +02:00
  • 9642bab0c8 Enabled colored unit test results by default. patrick 2017-06-15 23:34:01 +02:00
  • 517698475c Added test cases for all competition domains (not all of them supported yet). patrick 2017-06-15 23:33:25 +02:00
  • 0b8da69394 Added official PDDL competition instances for automated testing. patrick 2017-06-15 18:10:28 +02:00
  • a7c4fdb242 Started reimplementing problem parser. patrick 2017-06-13 19:52:15 +02:00
  • 06b9632b70 Removed unused flags. patrick 2017-05-18 15:55:20 +02:00
  • 94dd209e5e Linking constants to their declarations by reference instead of pointer. patrick 2017-05-17 20:21:34 +02:00
  • 5d65cc3100 Added missing include directive. patrick 2017-05-17 20:21:20 +02:00
  • 2042d6329d Hiding implementation details in variant classes. patrick 2017-05-17 20:09:07 +02:00
  • ff1d582605 Removed unwanted copy constructor. patrick 2017-05-17 20:00:01 +02:00
  • b3fd49ef97 Removed duplicate entry from predicates. patrick 2017-05-17 19:59:32 +02:00
  • 8a103ea89d Added class for PDDL parser exceptions. patrick 2017-05-17 15:29:51 +02:00
  • 29f8ee0778 Added parsing utils to skip PDDL sections. patrick 2017-05-17 15:28:58 +02:00
  • 5f240b632a Added default constructors to AST structs. patrick 2017-05-17 14:29:00 +02:00
  • d711fcd0f1 Removed unneeded class. patrick 2017-05-12 14:31:26 +02:00
  • e312a91632 Renamed tokenizing module for clarity. patrick 2017-05-12 14:17:57 +02:00
  • c10187f6ba Minor refactoring to simplify parser classes. patrick 2017-05-10 16:12:37 +02:00
  • d7db0d8ccd Started implementing clean, separate PDDL syntax tree and parser. patrick 2017-05-09 21:12:30 +02:00
  • d2f9e55e68 Merge branch 'master' of github.com:potassco/plasp into develop patrick 2017-05-09 15:12:19 +02:00
  • ebcf263abd Removed unnecessary boost::filesystem dependency. patrick 2017-05-09 15:11:35 +02:00
  • 27c6b69874 Moved basic parsing to a separate module. patrick 2017-05-09 15:05:59 +02:00
  • 386e5356af Updated Catch. patrick 2017-05-09 14:55:47 +02:00
  • 88cb8f4516 Improved CMake structure. patrick 2017-05-09 13:01:10 +02:00
  • 9c9995380e Resolved compiler warnings with clang. patrick 2017-05-09 13:00:44 +02:00
  • ff8dc0e85f just stylistic change mgebser 2017-01-18 15:45:12 +01:00
  • 1b94053542 revised redundant rules gebser 2017-01-18 10:12:52 +01:00
  • d1f1f9230c added predicate gebser 2017-01-17 19:52:12 +01:00
  • 59e95c7097 some refactoring mgebser 2017-01-17 17:15:21 +01:00
  • 18f4a87dd7 slight modification mgebser 2017-01-17 13:31:34 +01:00
  • 664762fdec about to revise encodings gebser 2017-01-17 10:12:37 +01:00
  • 1458d93408 more parallel ''exists'' encoding variants mgebser 2017-01-16 17:15:19 +01:00
  • 33e61beb4f Fixed bug related to decomposing quantified expression. patrick 2016-12-08 02:59:20 +01:00
  • 0b31d8d56c Fixed bugs related in decomposition of expressions. patrick 2016-12-08 02:54:28 +01:00
  • cb2db2cadf Removed unnecessary test file copies in CMake configuration. patrick 2016-12-08 02:16:17 +01:00
  • f1d2c4e532 Removed invalid to-do. patrick 2016-12-08 01:58:36 +01:00
  • a07d105906 Added missing include. patrick 2016-12-08 01:44:36 +01:00
  • 31182b6de9 Implemented translation of derived predicates in action preconditions. patrick 2016-12-08 01:28:00 +01:00
  • 586f53a788 Restructured functions related to translation of predicates. patrick 2016-12-08 01:27:38 +01:00
  • 1561aa5eb9 Put functions related to translation of predicates in separate file. patrick 2016-12-08 01:18:00 +01:00
  • f4672a5b50 Added -Wextra flag to notice warnings more easily. patrick 2016-12-08 01:17:09 +01:00
  • a5f1ebdc09 Removed unnecessary include directives. patrick 2016-12-08 01:07:17 +01:00
  • 8587aa23c4 Put functions related to translation of variables in separate file. patrick 2016-12-08 01:05:39 +01:00
  • 66cb09c8e4 Fixed incorrect auxiliary rule for derived predicates. patrick 2016-12-08 00:54:13 +01:00
  • 6355921e59 Implemented preconditions for derived predicates. patrick 2016-12-08 00:52:09 +01:00
  • 4172d320e4 Cleaned up output of translated derived predicates. patrick 2016-12-07 23:26:46 +01:00
  • a8ba375e36 Implemented printing body of derived predicate definition rules. patrick 2016-12-07 02:58:25 +01:00
  • 2334686c59 Renamed arguments to parameters in predicate declarations. patrick 2016-12-07 02:55:44 +01:00
  • ebab65e233 Refactoring to avoid dynamic casts. patrick 2016-12-07 02:29:48 +01:00
  • 692d3fe83a Refactoring to avoid checking expression types via type enum. patrick 2016-12-07 02:11:54 +01:00
  • 3b110c0b8a Started implementing translation for derived predicates. patrick 2016-12-07 01:56:06 +01:00
  • 443c126b88 Merge branch 'develop' of github.com:potassco/plasp into normalization patrick 2016-12-05 02:23:43 +01:00
  • eb4798df4e Updated catch. patrick 2016-12-05 02:17:11 +01:00
  • c1340f6297 Merge branch 'develop' of github.com:potassco/plasp into normalization patrick 2016-12-02 01:16:22 +01:00
  • 9e1cdaaa51 Implemented new command-line options replacing --warning-level. patrick 2016-12-01 17:18:58 +01:00
  • cfce6b1bbd Removed unnecessary namespace directive. patrick 2016-12-01 16:26:29 +01:00
  • c4e19dddae Refactoring to use cleaner output implementation. patrick 2016-11-29 06:03:05 +01:00
  • 9b49b8ebe7 CMake project restructuring. patrick 2016-11-29 02:43:17 +01:00
  • 8b069d8149 Minor formatting. patrick 2016-11-29 02:11:43 +01:00
  • f4efb4f3d4 Improved command-line interface. patrick 2016-11-29 02:01:23 +01:00
  • 180cc33ded Merge branch 'develop' of github.com:potassco/plasp into develop patrick 2016-11-29 01:32:25 +01:00
  • 431b33a4da Merge branch 'master' of github.com:potassco/plasp into develop patrick 2016-11-22 02:17:55 +01:00
  • 58e784408c Fixed incorrect build status badge in readme. patrick 2016-11-22 02:17:07 +01:00