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

Commit Graph

  • b44c04d3c0 Version bump for release 3.0.2. v3.0.2 patrick 2016-08-18 15:55:51 +02:00
  • 220b9959a3 Added IPC 2004 Satellite example instances. patrick 2016-08-18 15:51:58 +02:00
  • f8ec341015 Added IPC 2006 TPP example instances. patrick 2016-08-18 15:43:14 +02:00
  • 3ceeb3ae40 Added IPC 2002 Driver Log example instances. patrick 2016-08-18 15:29:27 +02:00
  • 56f0091f1e Added IPC 2002 Depots example instances. patrick 2016-08-18 15:25:10 +02:00
  • ec886e345b Added IPC 2000 Elevator example instances. patrick 2016-08-18 15:06:53 +02:00
  • 786eabb748 Added IPC 2000 Blocks World example instances. patrick 2016-08-18 15:00:31 +02:00
  • fa18dc7979 Restructured example instances for consistency. patrick 2016-08-18 14:53:26 +02:00
  • 136f9ed00a Added IPC 1998 Gripper example instances. patrick 2016-08-18 14:40:06 +02:00
  • e312740629 Fixed syntax error in output. patrick 2016-08-18 14:39:40 +02:00
  • 31d0a1fb38 Turned exception about unspecified requirements into a warning, now also for problems. patrick 2016-08-18 14:30:47 +02:00
  • ca30f8a815 Turned exception about unspecified requirements into a warning. patrick 2016-08-18 14:29:17 +02:00
  • 21c337e0fa Removed now obsolete ASP variable handling for PDDL. patrick 2016-08-18 00:25:47 +02:00
  • 8251652445 Implemented parameter name normalization for PDDL to avoid escaping the names. patrick 2016-08-18 00:24:10 +02:00
  • 5e28dd046b Further simplified the output of the PDDL variable value facts. patrick 2016-08-18 00:00:50 +02:00
  • 363070b579 Replaced the two rules for the values of a PDDL variable with a single one. patrick 2016-08-17 23:31:31 +02:00
  • 63ed1299ec Updated documentation to recent change of PDDL translator output. patrick 2016-08-17 19:05:01 +02:00
  • 7bd483cd7e Added rule to PDDL translator output to make all unspecified initial state variables false by default. patrick 2016-08-17 19:02:51 +02:00
  • 91019f52aa Fixed issue with unsupported expression negations. patrick 2016-08-16 18:58:30 +02:00
  • 69a26cb22f Fixed undetected issue with unsupported negations. patrick 2016-08-16 18:43:37 +02:00
  • cdb06fa5bf Improved output format and highlighting. patrick 2016-08-16 18:35:55 +02:00
  • 9c76ce7174 Documented type inheritance. patrick 2016-08-16 18:07:18 +02:00
  • 676dc44619 Updated meta encoding to new feature requirement format. patrick 2016-08-15 18:24:51 +02:00
  • b8a3019e5b Made unconditional effects a keyword. patrick 2016-08-15 16:59:28 +02:00
  • e0a15849df Updated documentation to changes of axiom rule output format. patrick 2016-08-15 16:48:17 +02:00
  • ef57f27c6a Changed output format of axiom rules for consistency. patrick 2016-08-15 16:33:33 +02:00
  • 169c5ae8e9 Fixed typo. patrick 2016-08-15 15:26:34 +02:00
  • 760143a4a2 Documented CMake option for building tests. patrick 2016-08-15 00:26:47 +02:00
  • b100bcd446 Disabled tests by default. patrick 2016-08-15 00:25:37 +02:00
  • 04ddbaabae Version bump after release 3.0.2 RC 1. patrick 2016-08-14 17:40:51 +02:00
  • 4a2882711d Version bump for release 3.0.2 RC 1. v3.0.2-rc.1 patrick 2016-08-14 17:35:23 +02:00
  • 08113c961a Continuously incrementing effect IDs, with a special identifier for unconditional effects. patrick 2016-08-14 17:21:41 +02:00
  • e2da46e20a Updated change log with documentation of output format. patrick 2016-08-14 16:36:29 +02:00
  • 0cf44da917 Minor formatting. patrick 2016-08-14 16:35:38 +02:00
  • d03638919a Added more detail to the command-line interface documentation. patrick 2016-08-14 16:34:39 +02:00
  • f5d342a442 Minor formatting. patrick 2016-08-14 16:33:11 +02:00
  • 06cab2f098 Put command-line interface documentation in a separate documentation file. patrick 2016-08-14 16:31:23 +02:00
  • 9d67ae800d Put building instructions in a separate documentation file. patrick 2016-08-14 16:27:43 +02:00
  • d2a1030320 Added link to output format to the readme file. patrick 2016-08-14 16:23:28 +02:00
  • 5c17d23606 Added list of supported feature requirements. patrick 2016-08-14 16:15:43 +02:00
  • bc1759aedf Minor formatting. patrick 2016-08-14 16:09:36 +02:00
  • b9aef10db3 Documented axiom rules. patrick 2016-08-14 16:07:45 +02:00
  • bdb6ac9fba Changed output format of axiom rules. patrick 2016-08-14 16:02:28 +02:00
  • 4d5f935e82 Minor formatting. patrick 2016-08-14 16:01:39 +02:00
  • d604e44dff Documented mutex groups. patrick 2016-08-14 16:00:31 +02:00
  • 2c37da4cb4 Clarification about variables’ value uniqueness. patrick 2016-08-14 16:00:09 +02:00
  • 741078c4fd Minor formatting. patrick 2016-08-14 15:50:49 +02:00
  • e101cf2aab Documented action costs. patrick 2016-08-14 15:49:34 +02:00
  • 3dfae74468 Documented goal. patrick 2016-08-14 15:47:49 +02:00
  • 2363f42bc9 Minor clarification in the documentation concerning action sequences. patrick 2016-08-14 15:45:55 +02:00
  • 491454ca3c Extended introduction to the documentation. patrick 2016-08-14 15:44:14 +02:00
  • 562b2296e5 Documented initial state. patrick 2016-08-14 15:39:25 +02:00
  • 3535afb1e1 Minor clarification concerning constants and objects. patrick 2016-08-14 15:31:23 +02:00
  • 7a63e4abb9 Documented constants and objects. patrick 2016-08-14 15:29:27 +02:00
  • 2281cd1cd4 Documented actions. patrick 2016-08-14 15:14:27 +02:00
  • 4037b339e4 Changed keyword for conditions of conditional effects. patrick 2016-08-14 15:14:13 +02:00
  • 00c3140f3b Restructured output format documentation once more and documented variables. patrick 2016-08-14 14:55:53 +02:00
  • 0fb282d153 Changed output format of feature requirements. patrick 2016-08-14 14:55:46 +02:00
  • 7a73f99581 Updated change log with recent fixes in SAS output formatting. patrick 2016-08-13 19:14:04 +02:00
  • bdd68f04e1 Minor cleanup in documentation. patrick 2016-08-13 19:01:57 +02:00
  • a5a300b150 Documented constants and objects. patrick 2016-08-13 18:58:30 +02:00
  • 197cec923e Added introductory example to output format documentation. patrick 2016-08-13 18:47:01 +02:00
  • c391a1f566 Removed unwanted newline in SAS output. patrick 2016-08-13 18:44:18 +02:00
  • 1727113a8b Documented types. patrick 2016-08-13 18:05:58 +02:00
  • 18ac959970 Restructured documentation of feature requirements and added an example. patrick 2016-08-13 17:52:27 +02:00
  • d00c5bb753 Minor rephrasing in documentation. patrick 2016-08-13 17:42:02 +02:00
  • ffcf07b935 Documented feature requirements. patrick 2016-08-13 17:39:39 +02:00
  • 042531abc3 Started documenting the unified output format. patrick 2016-08-13 13:35:30 +02:00
  • 4fc7355fba Removed unwanted newline. patrick 2016-08-13 13:21:00 +02:00
  • c12be088c6 Updated change log with unified output format. patrick 2016-08-13 11:12:38 +02:00
  • 9c3cfe8f7b Dropped »meta« prefix of encoding file because there will only be meta encodings. patrick 2016-08-13 11:10:29 +02:00
  • d4c168af30 Unified SAS and PDDL meta encodings. patrick 2016-08-13 11:09:15 +02:00
  • f2d3aee662 Updated PDDL meta encoding to recent changes of output format. patrick 2016-08-13 04:04:56 +02:00
  • 340db244f6 Fixed bug in output format. patrick 2016-08-13 04:04:28 +02:00
  • 8969364f73 Fixed syntax error in output format. patrick 2016-08-13 03:27:37 +02:00
  • b67168134b Made initial state definition consistent with unified output format. patrick 2016-08-13 03:22:25 +02:00
  • 97d33da686 Added effect ID as a placeholder (for conditional effects) for consistency with unified output format. patrick 2016-08-13 03:17:48 +02:00
  • 1f35bda3d2 Wrapped translated PDDL action definitions for usability in meta encodings. patrick 2016-08-13 03:11:38 +02:00
  • 6960e8a8c7 Wrapped translated PDDL constant definitions for usability in meta encodings. patrick 2016-08-13 03:09:14 +02:00
  • b30cecd297 Turning translated PDDL predicates into unified variable format in rest of output format. patrick 2016-08-13 03:08:05 +02:00
  • 99fc6988a3 Renamed heading to »variables«. patrick 2016-08-13 02:50:07 +02:00
  • cf022f9959 Started turning translated PDDL predicates into unified variable format. patrick 2016-08-13 02:48:30 +02:00
  • 0a1044743e Renamed meta predicate for simplicity. patrick 2016-08-13 02:33:28 +02:00
  • 94b204615b Wrapped translated PDDL type definitions for usability in meta encodings. patrick 2016-08-13 02:32:27 +02:00
  • 230c6dfc15 Made order of sections of translated SAS more uniform with PDDL. patrick 2016-08-13 02:29:48 +02:00
  • 8be67e7065 Updated SAS meta encoding to recent changes of output format. patrick 2016-08-13 01:49:00 +02:00
  • 378b2ae673 Wrapped translated SAS axiom rule definitions for usability in meta encodings. patrick 2016-08-13 01:44:45 +02:00
  • 36e517bd80 Wrapped translated SAS mutex group definitions for usability in meta encodings. patrick 2016-08-13 01:41:55 +02:00
  • 569b3d0c97 Wrapped translated SAS action definitions for usability in meta encodings. patrick 2016-08-13 01:40:31 +02:00
  • daf68d24ab Added highlighting of variable names. patrick 2016-08-13 01:39:49 +02:00
  • 8a82f52100 Wrapped translated SAS variable definitions for usability in meta encodings. patrick 2016-08-13 01:36:08 +02:00
  • d0864b9efe Extended parser tests. patrick 2016-08-08 12:40:02 +02:00
  • 18bd606262 Extended parser tests. patrick 2016-08-07 16:46:48 +02:00
  • 252f50108b Removed unnecessary file. patrick 2016-08-07 16:22:26 +02:00
  • 015c34fc2b Minor refactoring. patrick 2016-08-03 00:33:20 +02:00
  • d7b47797df Made Stream members protected again. patrick 2016-08-03 00:28:22 +02:00
  • 544d4e0635 Major refactoring of underlying Parser class. patrick 2016-08-02 19:58:54 +02:00
  • 73c9d6c1f3 Checking that Parser initially is case-sensitive. patrick 2016-06-22 09:14:01 +01:00
  • d9578b6f1c Testing Parser position with seek and advance. patrick 2016-06-22 09:07:19 +01:00
  • b5e325cbee Testing Parser’s reset method. patrick 2016-06-22 09:02:46 +01:00