Commit Graph

Select branches

Hide Pull Requests

develop

master

v3.0.0

v3.0.1

v3.0.2

v3.0.2-rc.1

v3.0.3

v3.1.0

v3.1.1

v3.1.1-rc.1

Mono Color

• af325e3991 Version bump after release 3.1.1. develop Patrick Lühne 2017-11-25 17:52:52 +01:00
• 31542c6adc Version bump for release 3.1.1. v3.1.1 master Patrick Lühne 2017-11-25 17:21:45 +01:00
• 2d0e4b09fa Updated changelog with variable name replacement. Patrick Lühne 2017-11-25 00:37:25 +01:00
• 4ec8b65eef Version bump for release 3.1.1 RC 1. v3.1.1-rc.1 Patrick Lühne 2017-11-25 00:40:12 +01:00
• 6801800c82 Updated changelog with variable name replacement. Patrick Lühne 2017-11-25 00:37:25 +01:00
• 2288fa891e Replacing user-defined variable names. Patrick Lühne 2017-11-25 00:20:18 +01:00
• 7c02b46f7c Version bump after release 3.1.0. v3.1.0 Patrick Lühne 2017-11-17 19:33:21 +01:00
• 1c44dfcda7 Version bump for release 3.1.0. Patrick Lühne 2017-11-17 18:43:02 +01:00
• b93e41d5bc Removed Arch PKGBUILD from repository. Patrick Lühne 2017-11-17 18:40:08 +01:00
• 0ff78f43e6 Added PDDL 3.1 feature support documentation. Patrick Lühne 2017-11-17 18:11:07 +01:00
• 0f039f0837 Excluding derived variables from inertia. Patrick Lühne 2017-11-17 17:43:44 +01:00
• 9d04996b0a Minor formatting. Patrick Lühne 2017-11-17 17:34:16 +01:00
• b2280c155a Fixed handling of goal in example encoding. Patrick Lühne 2017-11-17 17:32:05 +01:00
• f7e089042d Updated documentation to new output format. Patrick Lühne 2017-11-17 15:52:25 +01:00
• ce4fe6a113 Fixed typo. Patrick Lühne 2017-11-17 15:27:49 +01:00
• 3e2adf6db4 Added “known issues” file. Patrick Lühne 2017-11-17 15:26:52 +01:00
• 8ff87985f5 Moved outdated encodings to separate directory. Patrick Lühne 2017-11-17 15:15:20 +01:00
• 9fde2b8e1b Updated cxxopts to 2.0.0. Patrick Lühne 2017-11-17 00:51:51 +01:00
• c283adc42a Minor formatting. Patrick Lühne 2017-11-17 00:47:35 +01:00
• 9281592c39 Rephrased change log for 3.1.0 for clarity. Patrick Lühne 2017-11-17 00:17:40 +01:00
• 6889e97f47 Updated readme for release 3.1.0. Patrick Lühne 2017-11-16 18:16:55 +01:00
• 23130134bb Made translator descriptions more concise. Patrick Lühne 2017-11-16 18:11:38 +01:00
• 5af0c26650 Added tests for derived predicate numbering. Patrick Lühne 2017-11-16 17:30:53 +01:00
• 39410ac98b Added normalization tests for nested expressions. Patrick Lühne 2017-11-16 16:29:12 +01:00
• 5621820fe4 Added normalization tests for negations. Patrick Lühne 2017-11-15 18:53:43 +01:00
• 9e9040cac0 Added normalization tests for “forall” statements. Patrick Lühne 2017-11-15 17:26:56 +01:00
• 0cf84dd5ca Added normalization tests for implications. Patrick Lühne 2017-11-09 19:34:47 +01:00
• b063f5047e Added basic normalization tests. Patrick Lühne 2017-11-08 18:36:08 +01:00
• 08a2eebe2c Removed obsolete test file. Patrick Lühne 2017-11-08 16:22:14 +01:00
• 010e7bf41e Requiring goal to contain only one statement. Patrick Lühne 2017-11-15 15:52:10 +01:00
• a1a80332ca Merge pull request #4 from mgebser/strips Patrick Lühne 2017-11-09 14:35:31 +01:00
• f0e553df23 Minor formatting. Patrick Lühne 2017-11-08 17:11:36 +01:00
• 0d0a4337a2 Updated Catch to 2.0.1. Patrick Lühne 2017-11-04 20:54:39 +01:00
• b21b4f47bf Made form of variables within values consistent. Patrick Lühne 2017-11-03 01:49:24 +01:00
• 3a7b61de68 Fixed syntax error at end of initial state facts. Patrick Lühne 2017-11-01 16:00:48 +01:00
• efee22a655 introduced flat representation of transition constraints, activated by default w.r.t. the new constant _inertia mgebser 2017-11-01 13:58:04 +01:00
• 4faa8813e4 Added removed Boost dependency to change log. Patrick Lühne 2017-10-28 17:33:26 +02:00
• dd1b2f9636 Removed Boost dependency from building instructions. Patrick Lühne 2017-10-28 17:31:37 +02:00
• a31d8638e7 Fixed typos in documentation. Patrick Lühne 2017-10-28 17:30:41 +02:00
• 6af0d4ec7a Removed Boost dependency from Arch PKGBUILD. Patrick Lühne 2017-10-28 17:16:18 +02:00
• 021e6c439c Removed Boost packages from Travis configuration. Patrick Lühne 2017-10-28 16:50:45 +02:00
• e87f86af95 Removed Boost dependency in assertions. Patrick Lühne 2017-10-28 16:49:15 +02:00
• ca7ae883ee Removed Boost dependency in unit tests. Patrick Lühne 2017-10-28 16:45:29 +02:00
• 72fc7493b2 Removed Boost dependency in language distinction. Patrick Lühne 2017-10-28 15:44:37 +02:00
• 1631a70a0b Ensuring that goal is variable-free. Patrick Lühne 2017-10-27 17:10:35 +02:00
• 27f773e091 Added support for derived predicates in goals. Patrick Lühne 2017-10-27 16:46:38 +02:00
• 6d07fcbd6c Moved initial state translation to new header. Patrick Lühne 2017-10-27 16:36:01 +02:00
• 6415f871d7 Error for derived predicates in initial state. Patrick Lühne 2017-10-27 16:27:33 +02:00
• feaef5a3fa Translating derived predicates of problems. Patrick Lühne 2017-10-25 18:57:59 +02:00
• 624ddc38aa Fixed incorrect derived predicate IDs in problems. Patrick Lühne 2017-10-25 17:42:54 +02:00
• 9803710ff3 Fixed typo. Patrick Lühne 2017-10-25 19:00:54 +02:00
• 4d8525f52d Added comment for consistency. Patrick Lühne 2017-10-25 18:03:11 +02:00
• d0b7f89925 Removed unwanted newlines at the end of output. Patrick Lühne 2017-10-25 17:01:19 +02:00
• 032fa14f61 Updated tagline to match plasp’s recently extended tool set. Patrick Lühne 2017-10-14 02:37:46 +02:00
• 8b487b0a82 Structured change log more nicely. Patrick Lühne 2017-10-14 02:31:04 +02:00
• f6eed53550 Minor formatting. Patrick Lühne 2017-10-14 02:09:19 +02:00
• cb61f7cc5e Making command-line options in change log more specific. Patrick Lühne 2017-10-14 01:49:36 +02:00
• 5ec4dd2aaf Added new commands to the change log. Patrick Lühne 2017-10-14 01:46:48 +02:00
• b8bd42d361 Implemented “check-syntax” command. Patrick Lühne 2017-10-14 01:43:56 +02:00
• 89edafb586 Implemented “beautify” command. Patrick Lühne 2017-10-14 01:37:40 +02:00
• 0d5245b48b Showing list of available commands in help message. Patrick Lühne 2017-10-14 01:20:26 +02:00
• d20b30d34d Implemented “normalize” command. Patrick Lühne 2017-10-13 18:41:20 +02:00
• b99e7c198a Refactored “translate” command. Patrick Lühne 2017-10-13 18:40:48 +02:00
• c3b6d6939f Added missing inline directive. Patrick Lühne 2017-10-13 18:32:32 +02:00
• 868c220e42 Minor formatting. Patrick Lühne 2017-10-13 18:28:50 +02:00
• cde892c771 Added command for printing version information. Patrick Lühne 2017-10-13 18:28:33 +02:00
• 974c94fbb0 Unified version printing. Patrick Lühne 2017-10-13 18:19:34 +02:00
• 2be3f4256a Refactored command base class for simplicity. Patrick Lühne 2017-10-13 18:14:24 +02:00
• 5427876e36 Added workaround for GCC 6 compiler error. Patrick Lühne 2017-10-14 02:04:13 +02:00
• abdc4e31dc Refactored printing help messages in commands. Patrick Lühne 2017-10-13 18:09:15 +02:00
• db7ea6f2fe Removed unwanted methods. Patrick Lühne 2017-10-13 17:57:42 +02:00
• d8b2aa9720 Updated change log with new command interface. Patrick Lühne 2017-10-13 17:46:51 +02:00
• 63c4da8fad Made option group parsing more uniform. Patrick Lühne 2017-10-13 17:12:33 +02:00
• 3fe2886925 Updated CMake in Travis configuration for C++17 support. Patrick Lühne 2017-10-13 17:31:56 +02:00
• 86486207b8 Added help and version options to the translate command. Patrick Lühne 2017-10-12 17:18:00 +02:00
• 569b170aba Using cxxopts as a submodule. Patrick Lühne 2017-10-12 19:05:27 +02:00
• f6c9e19a60 Outsourced parsing of common options in plasp app. Patrick Lühne 2017-09-08 21:26:38 +02:00
• 6b891fcb8e Prepared app directory for future subcommands. Patrick Lühne 2017-08-31 19:46:00 +02:00
• 8b6c4beed8 Merge pull request #3 from mgebser/strips Patrick Lühne 2017-10-12 19:27:26 +02:00
• 5e0c8a695c new constant value '_parallel=0' to allow for parallel actions without checking mutual disablement mgebser 2017-10-05 20:24:59 +02:00
• 46cd4de854 Updated changelog with parser support for equalities. Patrick Lühne 2017-08-31 19:29:54 +02:00
• 871d3fcdb3 Renamed test suites for clarity. Patrick Lühne 2017-08-31 19:15:17 +02:00
• 4ad9355e47 Removed domains from blacklist that are now supported by parser. Patrick Lühne 2017-08-31 19:08:28 +02:00
• 1dee4655a7 Minor refactoring. Patrick Lühne 2017-08-31 19:04:10 +02:00
• 0a104d222c Removed unneeded constant parsing functions. Patrick Lühne 2017-08-31 18:51:27 +02:00
• 80167fd21b Removed unneeded variable parsing functions. Patrick Lühne 2017-08-31 18:48:48 +02:00
• 7de9980c10 Refactoring to reuse term parsing code. Patrick Lühne 2017-08-31 18:37:43 +02:00
• 89f3eb0306 Implemented term parser. Patrick Lühne 2017-08-31 18:34:34 +02:00
• 716b4801aa Added AST representation for “equals” expressions. Patrick Lühne 2017-08-31 17:54:30 +02:00
• 9199b68080 Renamed “pddlparse” library to simply “pddl”. Patrick Lühne 2017-08-09 17:52:50 +02:00
• a24ce91acb Merge pull request #2 from mgebser/strips Patrick Lühne 2017-08-09 17:19:35 +02:00
• 9ab1ea1c23 improved strips encodings mgebser 2017-08-09 12:12:39 +02:00
• 8b232e0155 Updated sequential horizon-bound meta encoding to match new output format. Patrick Lühne 2017-06-28 16:41:31 +02:00
• aec16f4407 Added option to compile plasp statically. Patrick Lühne 2017-06-28 01:43:12 +02:00
• b2ac47c2d3 Moved Boost dependency to plasp application only. Patrick Lühne 2017-06-28 01:42:29 +02:00
• 31cf6d287d Internal version bump to 3.1.0-git because of the scope of the changes since 3.0.3. Patrick Lühne 2017-06-28 01:06:30 +02:00
• b282225363 Moved util predicates to separate section. Patrick Lühne 2017-06-28 01:00:36 +02:00
• 95c03396d0 Fixed incorrect argument format in ASP output. Patrick Lühne 2017-06-28 00:51:42 +02:00
• a5038535f4 Added missing argument to ASP predicate. Patrick Lühne 2017-06-28 00:35:28 +02:00
• d82ae8544b Implemented translation of conditional PDDL effects. Patrick Lühne 2017-06-28 00:28:36 +02:00