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