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

• 91b2a23c78
  
  Added a sequential, fixed-horizon meta encoding. Patrick Lühne 2016-11-20 23:52:55 +0100
• cbbe942dfd
  
  Merge branch 'master' of github.com:potassco/plasp into develop Patrick Lühne 2016-11-16 23:56:44 +0100
• 8bab1e19cb
  
  Made readme file sections and documentation more consistent. Patrick Lühne 2016-11-16 23:53:21 +0100
• c80688b241
  
  Changed format of readme file for STRIPS encodings to Markdown. Patrick Lühne 2016-11-16 23:27:45 +0100
• b1e98bd091 README file summarizing functionalities and example invocations gebser 2016-11-15 22:48:24 +0100
• 367f49253e finalizing redundant rules to restrict number of parallel plans gebser 2016-11-15 21:16:01 +0100
• 6f1a64a705 some restriction of instantiation mgebser 2016-11-15 19:34:07 +0100
• f12ac1c839 optional redundant rules to reduce the number of parallel plans mgebser 2016-11-15 18:57:52 +0100
• 03c83702ad postprocessing encoding checked gebser 2016-11-15 09:07:36 +0100
• e2c38b5459 Merge branch 'master' of ssh://github.com/potassco/plasp mgebser 2016-11-14 18:36:49 +0100
• 7f62503237 first version of postprocessing program to check plans and represent them sequentially mgebser 2016-11-14 18:36:01 +0100
• e1e9efde25
  
  Added contributor. Patrick Lühne 2016-11-14 17:11:05 +0100
• fb3f847f6a
  
  Merge branch 'develop' of github.com:potassco/plasp into develop Patrick Lühne 2016-11-14 17:10:07 +0100
• 888f12d88d completed main parallel planning encodings for STRIPS instances mgebser 2016-11-14 16:56:51 +0100
• b8357629a2 started to develop STRIPS encoding variants mgebser 2016-11-14 12:00:14 +0100
• 1b56e9ed9b
  
  Merge branch 'master' of github.com:potassco/plasp into develop Patrick Lühne 2016-11-12 18:36:10 +0100
• ba63a9fb05
  
  Moved Catch to lib directory. Patrick Lühne 2016-11-12 18:14:30 +0100
• 2585f726c5 Merge branch 'master' of github.com:potassco/plasp into develop Patrick Lühne 2016-11-04 16:15:42 +0100
• dadb1801aa Minor formatting in readme file. Patrick Lühne 2016-11-04 16:10:34 +0100
• 37732f35dd Merge branch 'develop' of github.com:potassco/plasp into develop Patrick Lühne 2016-11-04 16:11:26 +0100
• 2f6255a4e8 Added contributor. Patrick Lühne 2016-11-03 18:36:57 +0100
• 5d8c143e60 Added Travis target for g++ 6. Patrick Lühne 2016-10-10 18:22:56 +0200
• 0b94e315b4 Added compiler name to Travis configuration. Patrick Lühne 2016-10-10 20:56:09 +0200
• 4a422795d9 Added language specification to Travis configuration. Patrick Lühne 2016-10-10 20:46:25 +0200
• 1a27a21fa1 Added default packages and sources to Travis configuration. Patrick Lühne 2016-10-10 18:28:59 +0200
• bba069599f Merge branch 'develop' of github.com:potassco/plasp into develop Patrick Lühne 2016-10-10 18:24:05 +0200
• ba751f8c35 Added Travis target for g++ 6. Patrick Lühne 2016-10-10 18:22:56 +0200
• 1f7ee57889 Updated building instructions after change to Catch testing framework. Patrick Lühne 2016-10-08 16:06:37 +0200
• d4faaf428c Switched from Google Test to Catch. Patrick Lühne 2016-10-08 16:03:14 +0200
• a163278fb5 Added license file to PKGBUILD for AUR. Patrick Lühne 2016-10-07 18:41:53 +0200
• 1e2573d3e7 Added PKGBUILD for AUR. Patrick Lühne 2016-10-07 18:29:22 +0200
• 5c5f0665e8 Minor formatting. Patrick Lühne 2016-10-07 16:40:01 +0200
• 0ca51236bd Added unique ID to derived predicates for easier translation. Patrick Lühne 2016-09-09 17:08:31 +0200
• a62cc8b3b9 Started implementing derived predicates for decomposing complex PDDL conditions. Patrick Lühne 2016-09-09 16:42:16 +0200
• cc0b9726ed Added to-do. Patrick Lühne 2016-09-09 13:38:15 +0200
• bec63898af Updated change log with newly supported expression types. Patrick Lühne 2016-09-08 15:59:02 +0200
• 9cccba42e0 Implemented parsing conditional effects. Patrick Lühne 2016-09-08 15:56:30 +0200
• 4fc9b35c13 Implemented disjunctive normal form. Patrick Lühne 2016-09-08 03:42:32 +0200
• 34496a7158 Finished implementing the prenex normal form with maximal groups of same-type quantifiers. Patrick Lühne 2016-09-08 02:40:51 +0200
• e0ed145716 Implemented prenex normalization. Patrick Lühne 2016-09-07 00:34:26 +0200
• 2e52357dd2 Allowing universal quantifiers in effect expressions. Patrick Lühne 2016-09-06 22:36:48 +0200
• 104f7165cd Fixed compiler error occurring in debug mode only. Patrick Lühne 2016-09-06 21:47:03 +0200
• edbc8770e3 Testing simplification of nested existential quantifiers. Patrick Lühne 2016-09-06 18:51:29 +0200
• 31068bf89c Implemented simplification of nested quantified expressions. Patrick Lühne 2016-09-06 18:50:23 +0200
• ad6b3d60eb Implemented De Morgan normalization for quantified expressions. Patrick Lühne 2016-09-06 17:43:47 +0200
• bd2ef96216 Added forward declarations for quantified expressions. Patrick Lühne 2016-09-06 17:41:04 +0200
• faa920e1ad Correctly parsing quantified expressions thanks to variable stack. Patrick Lühne 2016-09-06 17:36:51 +0200
• eb28ed3938 Implemented variable stack for parsing nested variable lists (as within quantified expressions). Patrick Lühne 2016-09-06 17:34:07 +0200
• f4f0e07bc1 Started supporting quantified expressions. Patrick Lühne 2016-09-06 16:57:31 +0200
• ca6664feb2 Refactored parsing variable lists to reuse it with quantified expressions. Patrick Lühne 2016-09-06 16:28:38 +0200
• 6f3769f364 Removed unnecessary includes. Patrick Lühne 2016-09-05 17:05:48 +0200
• 0c5936ad38 Noted to-do. Patrick Lühne 2016-09-05 00:39:12 +0200
• 263b611a7b Implemented simplification of directly nested n-ary expressions of the same type. Patrick Lühne 2016-09-05 00:37:43 +0200
• 79d449d0df Renaming to not confuse expression simplification and reduction. Patrick Lühne 2016-09-05 00:06:09 +0200
• dd621fcd5c Minor clean-up. Patrick Lühne 2016-09-04 23:54:15 +0200
• c2af84a800 Removed redundant normalization statement. Patrick Lühne 2016-09-04 23:52:06 +0200
• 3fa7b93d44 Fixed wrong recursive call. Patrick Lühne 2016-09-04 23:34:20 +0200
• 4d72c20d9b Added separate simplification step to normalize in a single recursion. Patrick Lühne 2016-09-04 23:30:08 +0200
• 97ad4268d7 Added second double negation elimination step after normalizing the argument of a “not” expression. Patrick Lühne 2016-09-04 22:45:37 +0200
• ed2d64c1c9 Added debug printing function to facilitate testing expression normalization. Patrick Lühne 2016-09-04 22:26:17 +0200
• c9ecd0c020 Implemented De Morgan’s rules for normalization purposes. Patrick Lühne 2016-09-04 20:49:22 +0200
• 6aaf7c039d Refactored normalization because of recent changes to the pointer usage. Patrick Lühne 2016-09-04 19:29:05 +0200
• 7aa20a5820 Refactored expressions thanks to intrusive pointers. Patrick Lühne 2016-09-04 18:48:46 +0200
• 9afabacde3 Switched to intrusive pointers for much easier maintenance. Patrick Lühne 2016-09-04 18:26:02 +0200
• f10f4ac29c Added back reference expressions to make the expression tree structure simpler. Patrick Lühne 2016-09-04 14:49:34 +0200
• da88a8816c Fixed issue with multiple negations. Patrick Lühne 2016-09-03 00:25:58 +0200
• 63de1891af Fixed missing normalization step of arguments to imply statements and extended test to cover the issue. Patrick Lühne 2016-09-02 19:25:25 +0200
• 23e851ccef Normalizing problems’ goal descriptions. Patrick Lühne 2016-09-02 18:49:30 +0200
• 5f406e6b18 Added support for imply expressions to change log. Patrick Lühne 2016-09-02 18:46:24 +0200
• 9aad139aae Added test covering the removal of implications. Patrick Lühne 2016-09-02 18:45:00 +0200
• 4fb2c331f3 Added dummy expression to check that with removed double negations, expressions are still correctly normalized. Patrick Lühne 2016-09-02 18:32:13 +0200
• 1a96c3ec72 Added test covering removal of double negations. Patrick Lühne 2016-09-02 18:27:00 +0200
• b084a1f727 Implemented removal of double negations. Patrick Lühne 2016-09-02 18:07:37 +0200
• 56ce55677f Started implementing PDDL normalization. Patrick Lühne 2016-09-02 17:58:00 +0200
• c528626fe9 Preparing more general form of PDDL normalization. Patrick Lühne 2016-09-02 16:39:42 +0200
• 8361f3767b Version bump after release 3.0.3. Patrick Lühne 2016-09-02 15:46:58 +0200
• b72a17c190 Version bump for release 3.0.3. v3.0.3 Patrick Lühne 2016-09-02 15:46:14 +0200
• 6842bff04b Removed temporary directory. Patrick Lühne 2016-09-02 15:45:44 +0200
• 6bec233e23 Moved IPC 2000 Elevator example instances to instance directory. Patrick Lühne 2016-09-02 15:44:33 +0200
• 873ccef4ff Moved IPC 2008 OpenStacks example instances to instance directory. Patrick Lühne 2016-09-02 15:44:12 +0200
• 4706d2915f Clarified how to plasp handle updates before executing the test suite. Patrick Lühne 2016-08-30 18:52:59 +0200
• 1d59ad20c1 Merge branch 'develop' of github.com:potassco/plasp into develop Patrick Lühne 2016-08-30 18:48:40 +0200
• b4f7e4f102 Added test case covering unexpected whitespaces in SAS file. Patrick Lühne 2016-08-30 18:47:12 +0200
• e664fe8470 Updated readme file with new location of the meta encoding. Patrick Lühne 2016-08-30 14:28:29 +0200
• 28b9d22a4c Hiding example instances from Linguist. Patrick Lühne 2016-08-30 13:05:03 +0200
• be376a9ffb Hiding mutex group section in output if there are none. Patrick Lühne 2016-08-30 13:02:00 +0200
• 76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. Patrick Lühne 2016-08-30 13:01:22 +0200
• 9447912fbf Added a few SAS example instances for testing. Patrick Lühne 2016-08-29 18:26:59 +0200
• 87717606b2 Moved PDDL example instances to subdirectory. Patrick Lühne 2016-08-29 17:49:57 +0200
• 348bc32cef generated some sas files from Rene's PDDL samples - should be deleted later - Torsten Schaub 2016-08-28 21:00:05 +0200
• fcdb0b65c2 fixed bug: frame axiom only on true fluents renamed modified by changed (more frequent naming) Torsten Schaub 2016-08-28 20:53:25 +0200
• 0fb79d1268 just re-formatting Torsten Schaub 2016-08-26 18:21:33 +0200
• 69757e50ac fixed bug in conditional effects - still one test screwing up - Torsten Schaub 2016-08-26 18:00:33 +0200
• 06feeab244 Merge branch 'master' of github.com:potassco/plasp into develop Patrick Lühne 2016-08-26 15:51:07 +0200
• 568945c7a8 Fixed incorrect output format of conditional effects with SAS. Patrick Lühne 2016-08-26 15:50:39 +0200
• dd33e47dd9 Fixed minor issues in output format documentation. Patrick Lühne 2016-08-26 15:42:29 +0200
• 7dfe760285 PRELIMINARY version of an encoding for sequential SAS planning featuring: axioms and conditional effects (extending Patrick's basic multi-valued encoding) Torsten Schaub 2016-08-23 18:31:33 +0200
• d7b8cec50d simple fixed horizon-based encoding for sequential PDDL planning Torsten Schaub 2016-08-23 11:51:03 +0200
• 92f3018b89 first throw at PDDL specifc encoding for sequential planning using Boolean fluents only Torsten Schaub 2016-08-22 22:35:35 +0200
• 3806fba9c2 Version bump after release 3.0.2. Patrick Lühne 2016-08-18 15:56:29 +0200