Commit Graph

211 Commits

Author SHA1 Message Date
6b38b55c58 Merge branch 'master' of github.com:potassco/plasp 2016-05-25 23:50:38 +02:00
12ffbb4d80 Ignoring configuration files for exporting the repository. 2016-05-25 23:49:58 +02:00
045239b620 Fixed wrong operator in debug output. 2016-05-25 23:22:25 +02:00
dda81e9011 Merge branch 'master' of github.com:potassco/plasp 2016-05-25 23:02:17 +02:00
98a15bbf8e Removed gtest package from Travis configuration to properly use the git submodule instead. 2016-05-25 23:01:42 +02:00
7a8b562173 Fixed URLs in readme file. 2016-05-25 18:11:00 +02:00
0cbb3453bd Added version badge to readme file. 2016-05-25 18:04:49 +02:00
062a04233f Changed license to Markdown format. 2016-05-25 12:44:28 +02:00
75c841e3c5 Added change log. 2016-05-25 12:42:31 +02:00
441b8b0154 Added support for input from std::cin. 2016-05-25 12:36:45 +02:00
082235eaaf Minor refactoring. 2016-05-24 16:31:05 +02:00
2bbd28c341 Enhanced command-line interface. 2016-05-24 16:24:37 +02:00
c6676e5a07 Made include guards plasp-specific to avoid potential naming conflicts. 2016-05-24 16:03:08 +02:00
324c91a9aa Minor formatting in readme file. 2016-05-24 15:24:23 +02:00
fe08394d05 Extended readme file with Fast Downward usage information. 2016-05-24 12:53:09 +02:00
fd1ce50b35 Fixed typo. 2016-05-24 02:58:11 +02:00
d7e6d3cabf Added an example clingo call to usage notes in readme file. 2016-05-24 02:57:00 +02:00
52570d887f Added building information to readme file. 2016-05-24 02:51:33 +02:00
ffb300d804 Fixed typo in readme file. 2016-05-24 02:43:48 +02:00
62bfffa1b2 Fixed typo in readme file. 2016-05-24 02:43:03 +02:00
4a023f20e4 Added more details to the readme file. 2016-05-24 02:42:31 +02:00
c899ba6449 Added tests covering basic parsing. 2016-05-24 02:23:56 +02:00
9b2ed2e03e Added test covering the parsing of action costs and conditional effects. 2016-05-24 02:13:21 +02:00
430bedc2cc Added test covering SAS feature requirements. 2016-05-24 02:03:13 +02:00
ee0b446230 Showing action cost predicates unconditionally for easier handling in meta encodings. 2016-05-24 01:54:57 +02:00
ac354d512c Treating <none of those> as a normal value in SAS translator output. 2016-05-24 01:48:59 +02:00
bf6300f36b Made SAS translator output format contain less IDs. 2016-05-24 01:42:15 +02:00
3a2dfd97b8 Added conditional effect support for SAS translator output. 2016-05-23 18:16:44 +02:00
bc5f8edb67 Hiding action cost output if feature not required. 2016-05-23 17:15:22 +02:00
05058c149e Added axiom rule support for SAS translator output. 2016-05-23 17:13:11 +02:00
a5fd698888 Added action costs support for SAS translator output. 2016-05-23 16:57:12 +02:00
c90d5b1d72 Added mutex groups and variable uniqueness back to the meta encoding. 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. 2016-05-23 16:28:06 +02:00
02a5b11884 Switching SAS translator output format to multi-valued variable representation. 2016-05-23 15:36:23 +02:00
6e37721243 Minor formatting. 2016-05-23 14:24:00 +02:00
0724963c32 Removed fluents section (to be derived from variables instead). 2016-05-23 14:22:33 +02:00
03ae0dc301 Changed SAS translator output format to be closer to the SAS representation. 2016-05-23 14:20:11 +02:00
2ef710642b Fixed unescaped fluent names. 2016-05-23 02:03:52 +02:00
7d0f417ba4 Enforcing Travis to build everything successfully in addition to run the tests. 2016-05-23 01:56:53 +02:00
3ff20da97e Handling <none of those> values in ASP translator. 2016-05-23 01:53:42 +02:00
d118788142 Parsing <none of those> values in SAS files. 2016-05-23 01:27:28 +02:00
401c4069bd Enforcing variables to have exactly (and not at most) one value. 2016-05-23 01:02:45 +02:00
081b604c40 Added test for removal of trailing parantheses with 0-ary predicates. 2016-05-23 00:47:30 +02:00
ea1dcef788 Reordered ASP output. 2016-05-23 00:25:13 +02:00
5db8af9ffc Fixed meta encoding for sequential, incremental planning. 2016-05-23 00:24:48 +02:00
5b42b09e5d Added .gitattributes file to let Linguist ignore external test data. 2016-05-22 22:50:41 +02:00
a61c1f45c4 Added sequential, incremental encoding for translated ASP output. 2016-05-22 22:50:20 +02:00
d8b87c7bfa Finished SAS-to-ASP translation with limited support. 2016-05-22 22:45:33 +02:00
eed215871a Minor formatting. 2016-05-22 20:22:48 +02:00
1dd55715f1 Reordered ASP output. 2016-05-22 20:21:31 +02:00