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

Commit Graph

  • 7baf15d9f0 Implemented And expressions. patrick 2016-06-02 17:35:01 +02:00
  • d070b5be9e Added expression visitor base class. patrick 2016-06-02 16:29:17 +02:00
  • 63d74e3524 Replaced tabs with spaces in test file to get more accurate parser positions in errors. patrick 2016-06-02 16:28:26 +02:00
  • a07019801c Refactored expressions to inherit from base class. patrick 2016-06-02 16:28:08 +02:00
  • 97ab22461c Started implementing parsing of action preconditions. patrick 2016-06-02 16:06:11 +02:00
  • 138db460a9 Merge branch 'master' of github.com:potassco/plasp into pddl-parser patrick 2016-06-01 22:54:49 +02:00
  • a9c0431ded Changed Travis configuration to use 3 threads for building. patrick 2016-06-01 22:49:59 +02:00
  • 7e4a05e1db Assuming parent types to be declared properly. patrick 2016-06-01 18:09:40 +02:00
  • 0a4541a401 Put parsing of typed variables into Variables class. patrick 2016-06-01 17:20:34 +02:00
  • 79773ba634 Removed unnecessary include. patrick 2016-06-01 17:06:23 +02:00
  • b249e1cbf8 Put generic Type parsing in separate function. patrick 2016-06-01 17:02:35 +02:00
  • 25cf7c8ae8 Implemented parsing of PDDL constants. patrick 2016-06-01 16:47:34 +02:00
  • 3c97ced486 Implemented predicate parsing and refactored context storage. patrick 2016-06-01 14:11:13 +02:00
  • 44482ae438 Renamed TypePrimitive to PrimitiveType and made Type hash map contain PrimitiveTypes only. patrick 2016-06-01 01:54:43 +02:00
  • f597b3ab80 Moved include to the right location. patrick 2016-06-01 01:32:49 +02:00
  • b8223b42bd Removed unnecessary include. patrick 2016-06-01 01:31:14 +02:00
  • ced1fd0038 Started refactoring Types with variants. patrick 2016-06-01 01:29:46 +02:00
  • 2654a6ff23 Started implementing predicate parsing. patrick 2016-05-31 16:43:25 +02:00
  • 5f763e90fc Refactored Requirement to be a proper class. patrick 2016-05-31 14:11:21 +02:00
  • cf1c66a085 Refactored interface for parsing Types. patrick 2016-05-31 14:01:18 +02:00
  • 1395b62e60 Added checks that used types are correctly declared previously. patrick 2016-05-31 13:50:30 +02:00
  • 85da5024ea Refactored type parsing. patrick 2016-05-31 01:06:57 +02:00
  • a989f5f86e Started implementing PDDL type parsing. patrick 2016-05-30 20:43:36 +02:00
  • 1c4c035acc Added missing test file for PDDL parser tests. patrick 2016-05-30 15:47:57 +02:00
  • d26ff2df77 Implemented computation of derived requirements. patrick 2016-05-30 15:44:13 +02:00
  • 5c37026ec7 Parsing PDDL requirements. patrick 2016-05-30 15:06:04 +02:00
  • 8aa419b5c2 Implemented requirement parsing. patrick 2016-05-30 14:34:17 +02:00
  • c191b418f2 Added PDDL requirements enum. patrick 2016-05-30 13:36:47 +02:00
  • 0eb2714c9e Removed incorrect parentheses check. patrick 2016-05-30 13:22:17 +02:00
  • 0b33ac0e7d Minor formatting. patrick 2016-05-30 13:06:10 +02:00
  • f55e366b17 Removed unnecessary statement. patrick 2016-05-30 13:03:18 +02:00
  • b89b1708c3 Additional line-skipping tests for Parser. patrick 2016-05-30 13:00:55 +02:00
  • f9c5a830e1 Additional assertions in Parser test cases. patrick 2016-05-30 12:58:10 +02:00
  • 348bd98de8 Extended Parser tests with whitespace handling check. patrick 2016-05-30 12:56:30 +02:00
  • 4d984d32c3 Refactoring of Parser class with std::istreambuf_iterator. patrick 2016-05-30 12:54:56 +02:00
  • 8d879344f2 Merge branch 'pddl-parser' of github.com:potassco/plasp into pddl-parser patrick 2016-05-30 12:54:41 +02:00
  • 40547691a0 Started implementing PDDL domain parser. patrick 2016-05-29 16:27:11 +02:00
  • 8f705b0737 Added test for Parser’s cursor position. patrick 2016-05-30 12:32:13 +02:00
  • 67c9e2148d Started implementing PDDL domain parser. patrick 2016-05-29 16:27:11 +02:00
  • 42fda5925d Simplified Parser interface. patrick 2016-05-29 15:08:10 +02:00
  • 2c564f47d3 Refactored predicate argument parsing. patrick 2016-05-28 14:21:05 +02:00
  • b4bc347006 Removed unnecessary include. patrick 2016-05-28 14:18:51 +02:00
  • f81fd1a1b4 Introduced alias for parser’s underlying character type. patrick 2016-05-27 19:25:59 +02:00
  • a1b334a302 Made Parser constructor explicit. patrick 2016-05-27 19:08:31 +02:00
  • ff420fbe57 Minor formatting. patrick 2016-05-27 18:39:43 +02:00
  • 07eb23b312 Refactored basic parsing. patrick 2016-05-27 03:58:59 +02:00
  • 6017cfe3d5 Removed version numbers from contributors to earlier versions. patrick 2016-05-26 13:01:46 +02:00
  • 8eb0a4847f Refactoring of TranslatorASP class. patrick 2016-05-26 12:59:18 +02:00
  • 47f269782e Reduced the number of boost dependencies with Travis. patrick 2016-05-26 00:23:30 +02:00
  • d9a40af3f0 Using unsigned constants in tests to avoid warnings with Google Test. patrick 2016-05-26 00:17:55 +02:00
  • 2281967176 Added info about running the tests to the readme file. patrick 2016-05-26 00:11:32 +02:00
  • 6b38b55c58 Merge branch 'master' of github.com:potassco/plasp patrick 2016-05-25 23:50:38 +02:00
  • 12ffbb4d80 Ignoring configuration files for exporting the repository. patrick 2016-05-25 23:49:58 +02:00
  • 045239b620 Fixed wrong operator in debug output. patrick 2016-05-25 23:22:25 +02:00
  • dda81e9011 Merge branch 'master' of github.com:potassco/plasp patrick 2016-05-25 23:02:17 +02:00
  • 98a15bbf8e Removed gtest package from Travis configuration to properly use the git submodule instead. patrick 2016-05-25 23:01:42 +02:00
  • 7a8b562173 Fixed URLs in readme file. patrick 2016-05-25 18:11:00 +02:00
  • 0cbb3453bd Added version badge to readme file. patrick 2016-05-25 18:04:49 +02:00
  • 062a04233f Changed license to Markdown format. patrick 2016-05-25 12:44:28 +02:00
  • 75c841e3c5 Added change log. patrick 2016-05-25 12:42:31 +02:00
  • 441b8b0154 Added support for input from std::cin. patrick 2016-05-25 12:36:45 +02:00
  • 082235eaaf Minor refactoring. v3.0.0 patrick 2016-05-24 16:31:05 +02:00
  • 2bbd28c341 Enhanced command-line interface. patrick 2016-05-24 16:24:37 +02:00
  • c6676e5a07 Made include guards plasp-specific to avoid potential naming conflicts. patrick 2016-05-24 16:03:08 +02:00
  • 324c91a9aa Minor formatting in readme file. patrick 2016-05-24 15:24:23 +02:00
  • fe08394d05 Extended readme file with Fast Downward usage information. patrick 2016-05-24 12:53:09 +02:00
  • fd1ce50b35 Fixed typo. patrick 2016-05-24 02:58:11 +02:00
  • d7e6d3cabf Added an example clingo call to usage notes in readme file. patrick 2016-05-24 02:57:00 +02:00
  • 52570d887f Added building information to readme file. patrick 2016-05-24 02:51:33 +02:00
  • ffb300d804 Fixed typo in readme file. patrick 2016-05-24 02:43:48 +02:00
  • 62bfffa1b2 Fixed typo in readme file. patrick 2016-05-24 02:43:03 +02:00
  • 4a023f20e4 Added more details to the readme file. patrick 2016-05-24 02:42:31 +02:00
  • c899ba6449 Added tests covering basic parsing. patrick 2016-05-24 02:23:56 +02:00
  • 9b2ed2e03e Added test covering the parsing of action costs and conditional effects. patrick 2016-05-24 02:13:21 +02:00
  • 430bedc2cc Added test covering SAS feature requirements. patrick 2016-05-24 02:03:13 +02:00
  • ee0b446230 Showing action cost predicates unconditionally for easier handling in meta encodings. patrick 2016-05-24 01:54:57 +02:00
  • ac354d512c Treating <none of those> as a normal value in SAS translator output. patrick 2016-05-24 01:48:59 +02:00
  • bf6300f36b Made SAS translator output format contain less IDs. patrick 2016-05-24 01:42:15 +02:00
  • 3a2dfd97b8 Added conditional effect support for SAS translator output. patrick 2016-05-23 18:16:44 +02:00
  • bc5f8edb67 Hiding action cost output if feature not required. patrick 2016-05-23 17:15:22 +02:00
  • 05058c149e Added axiom rule support for SAS translator output. patrick 2016-05-23 17:13:11 +02:00
  • a5fd698888 Added action costs support for SAS translator output. patrick 2016-05-23 16:57:12 +02:00
  • c90d5b1d72 Added mutex groups and variable uniqueness back to the meta encoding. patrick 2016-05-23 16:45:55 +02:00
  • 4c6c739060 Changed SAS translator output format once more to make it even closer to the SAS format. patrick 2016-05-23 16:28:06 +02:00
  • 02a5b11884 Switching SAS translator output format to multi-valued variable representation. patrick 2016-05-23 15:36:23 +02:00
  • 6e37721243 Minor formatting. patrick 2016-05-23 14:24:00 +02:00
  • 0724963c32 Removed fluents section (to be derived from variables instead). patrick 2016-05-23 14:22:33 +02:00
  • 03ae0dc301 Changed SAS translator output format to be closer to the SAS representation. patrick 2016-05-23 14:20:11 +02:00
  • 2ef710642b Fixed unescaped fluent names. patrick 2016-05-23 02:03:52 +02:00
  • 7d0f417ba4 Enforcing Travis to build everything successfully in addition to run the tests. patrick 2016-05-23 01:56:53 +02:00
  • 3ff20da97e Handling <none of those> values in ASP translator. patrick 2016-05-23 01:53:42 +02:00
  • d118788142 Parsing <none of those> values in SAS files. patrick 2016-05-23 01:27:28 +02:00
  • 401c4069bd Enforcing variables to have exactly (and not at most) one value. patrick 2016-05-23 01:02:45 +02:00
  • 081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. patrick 2016-05-23 00:47:30 +02:00
  • ea1dcef788 Reordered ASP output. patrick 2016-05-23 00:25:13 +02:00
  • 5db8af9ffc Fixed meta encoding for sequential, incremental planning. patrick 2016-05-23 00:24:48 +02:00
  • 5b42b09e5d Added .gitattributes file to let Linguist ignore external test data. patrick 2016-05-22 22:50:41 +02:00
  • a61c1f45c4 Added sequential, incremental encoding for translated ASP output. patrick 2016-05-22 22:50:20 +02:00
  • d8b87c7bfa Finished SAS-to-ASP translation with limited support. patrick 2016-05-22 22:45:33 +02:00
  • eed215871a Minor formatting. patrick 2016-05-22 20:22:48 +02:00