Commit Graph

432 Commits

Author SHA1 Message Date
99fc6988a3 Renamed heading to »variables«. 2016-08-13 02:50:07 +02:00
cf022f9959 Started turning translated PDDL predicates into unified variable format. 2016-08-13 02:48:30 +02:00
0a1044743e Renamed meta predicate for simplicity. 2016-08-13 02:33:28 +02:00
94b204615b Wrapped translated PDDL type definitions for usability in meta encodings. 2016-08-13 02:32:27 +02:00
230c6dfc15 Made order of sections of translated SAS more uniform with PDDL. 2016-08-13 02:29:48 +02:00
8be67e7065 Updated SAS meta encoding to recent changes of output format. 2016-08-13 01:49:00 +02:00
378b2ae673 Wrapped translated SAS axiom rule definitions for usability in meta encodings. 2016-08-13 01:44:45 +02:00
36e517bd80 Wrapped translated SAS mutex group definitions for usability in meta encodings. 2016-08-13 01:42:18 +02:00
569b3d0c97 Wrapped translated SAS action definitions for usability in meta encodings. 2016-08-13 01:40:31 +02:00
daf68d24ab Added highlighting of variable names. 2016-08-13 01:39:49 +02:00
8a82f52100 Wrapped translated SAS variable definitions for usability in meta encodings. 2016-08-13 01:36:08 +02:00
d0864b9efe Extended parser tests. 2016-08-08 12:40:02 +02:00
18bd606262 Extended parser tests. 2016-08-07 16:46:48 +02:00
252f50108b Removed unnecessary file. 2016-08-07 16:22:26 +02:00
015c34fc2b Minor refactoring. 2016-08-03 00:33:20 +02:00
d7b47797df Made Stream members protected again. 2016-08-03 00:28:22 +02:00
544d4e0635 Major refactoring of underlying Parser class. 2016-08-02 20:33:49 +02:00
73c9d6c1f3 Checking that Parser initially is case-sensitive. 2016-06-22 09:14:01 +01:00
d9578b6f1c Testing Parser position with seek and advance. 2016-06-22 09:07:19 +01:00
b5e325cbee Testing Parser’s reset method. 2016-06-22 09:02:46 +01:00
234938349c Fixed incorrect seek positions. 2016-06-22 08:59:18 +01:00
9ed7277ec9 Fixed minor formatting issue with axiom rules. 2016-06-22 08:45:48 +01:00
dc87c09442 Merge branch 'master' of github.com:potassco/plasp into develop 2016-06-15 00:57:01 +02:00
00688765fd Fixed typos in readme file. 2016-06-15 00:56:17 +02:00
3702b72feb Version bump after release 3.0.1. 2016-06-15 00:18:09 +02:00
9af383d2f6 Version bump for release 3.0.1. 2016-06-14 19:26:41 +02:00
d3039d55e5 Fixed typo in PDDL translation output. 2016-06-14 19:21:27 +02:00
6b5c8df03a Fixed issues with color output. 2016-06-14 19:14:26 +02:00
8084fe5574 Merge branch 'develop' of github.com:potassco/plasp 2016-06-14 18:54:43 +02:00
3d661cd1f4 Fixed unescaped ASP identifier. 2016-06-14 18:53:50 +02:00
853d7471c2 Added error message when using command-line options incorrectly. 2016-06-14 18:47:02 +02:00
0a205680fe Made default color policy autodetection again. 2016-06-14 18:46:47 +02:00
52fee6a4c1 Made the language command-line option lowercase for consistency. 2016-06-14 18:42:29 +02:00
fcdd3bba2b Added command-line options to readme file. 2016-06-14 18:40:40 +02:00
b491efa9f4 Minor rephrasing. 2016-06-14 18:30:06 +02:00
401cf79cf6 Fixed incorrect usage information in help message. 2016-06-14 18:28:45 +02:00
44a20ca7e3 Updated usage information in the readme file. 2016-06-14 18:25:24 +02:00
5bda1c2245 Reordered change log items. 2016-06-14 18:08:32 +02:00
eb3d91f085 Added command-line option to autodetect, enable, or disable color output. 2016-06-14 18:02:59 +02:00
aff396d919 Colorizing numbers in translated SAS output. 2016-06-14 17:41:41 +02:00
f7cd24b67a Colorized output for SAS translator. 2016-06-14 17:35:32 +02:00
1e21457efb Refactored color output of headings. 2016-06-14 17:11:45 +02:00
583ec78eef Removed deleted methods. 2016-06-14 17:06:07 +02:00
9969281b11 Refactored color output of variables and keywords. 2016-06-14 17:05:41 +02:00
6fec1cc409 Made all error and warning messages lowercase consistently. 2016-06-14 16:53:48 +02:00
2984da773d Fixed errors with gcc. 2016-06-14 16:47:11 +02:00
1b83708a6d Colorized PDDL translator output. 2016-06-14 16:38:41 +02:00
0de2489440 Using LogStreams in the PDDL translator. 2016-06-14 16:14:39 +02:00
fd5416c94e Removed template from LogStream. 2016-06-14 16:09:47 +02:00
48137ec24d Fixed an issue with gcc 5. 2016-06-14 15:59:16 +02:00