|
52fee6a4c1
|
Made the language command-line option lowercase for consistency.
|
2016-06-14 18:42:29 +02:00 |
|
|
401cf79cf6
|
Fixed incorrect usage information in help message.
|
2016-06-14 18:28:45 +02:00 |
|
|
eb3d91f085
|
Added command-line option to autodetect, enable, or disable color output.
|
2016-06-14 18:02:59 +02:00 |
|
|
f7cd24b67a
|
Colorized output for SAS translator.
|
2016-06-14 17:35:32 +02:00 |
|
|
0de2489440
|
Using LogStreams in the PDDL translator.
|
2016-06-14 16:14:39 +02:00 |
|
|
57e9de6b05
|
Renamed method to »logWarning.«
|
2016-06-14 15:12:45 +02:00 |
|
|
9679706a08
|
Removed ParserWarning class.
|
2016-06-14 15:09:39 +02:00 |
|
|
777c9839a1
|
Removed error message prefixes.
|
2016-06-14 15:06:43 +02:00 |
|
|
342a346fce
|
Started implementing colored output.
|
2016-06-14 12:47:39 +02:00 |
|
|
591d3fcafd
|
Correctly terminate plasp with failure exit code when unhandled exceptions are caught.
|
2016-06-14 00:32:26 +02:00 |
|
|
f24491cd5a
|
Updated help message with PDDL support.
|
2016-06-13 15:01:23 +02:00 |
|
|
5c3ea28e48
|
Added command-line option for treating warnings as errors or completely ignoring them.
|
2016-06-13 14:45:31 +02:00 |
|
|
49002ac52d
|
Made output stream a member of the SAS translator for convenience.
|
2016-06-12 22:35:31 +02:00 |
|
|
b70e62ff3b
|
Made output stream a member of the PDDL translator for convenience.
|
2016-06-12 22:31:31 +02:00 |
|
|
318bd8297c
|
Disambiguation of parser and translation errors in plasp binary.
|
2016-06-12 22:09:47 +02:00 |
|
|
8f0f4bfa65
|
Implemented translation of PDDL domain types.
|
2016-06-10 17:40:32 +02:00 |
|
|
f6cfc55e21
|
Put exception handling back into plasp binary for convenient use.
|
2016-06-10 17:12:23 +02:00 |
|
|
d446c192cf
|
Made plasp’s help message more precise.
|
2016-06-10 01:28:13 +02:00 |
|
|
2e1a011dcf
|
Implemented automatic language detection for plasp application.
|
2016-06-10 01:23:41 +02:00 |
|
|
8ef874eb22
|
Simplified plasp application by initializing parser externally.
|
2016-06-10 00:59:44 +02:00 |
|
|
c6dc84f27f
|
Removed now unnecessary check for number of files with SAS parser.
|
2016-06-10 00:51:31 +02:00 |
|
|
87889f5efe
|
Implemented two-pass parsing for PDDL problems.
|
2016-06-09 14:39:03 +02:00 |
|
|
a1b93624d6
|
Fixed accepting std::cin input when omitting input file arguments.
|
2016-06-08 00:06:54 +02:00 |
|
|
78889e18c6
|
Fixed accidentally removed std::cin support.
|
2016-06-07 23:31:09 +02:00 |
|
|
fa178d5ee1
|
Fixed SAS file input bug.
|
2016-06-07 20:59:02 +02:00 |
|
|
4228ca01dc
|
Implemented multi-file input.
|
2016-06-07 15:54:01 +02:00 |
|
|
67c9e2148d
|
Started implementing PDDL domain parser.
|
2016-05-29 16:55:43 +02:00 |
|
|
b4bc347006
|
Removed unnecessary include.
|
2016-05-28 14:18:51 +02:00 |
|
|
441b8b0154
|
Added support for input from std::cin.
|
2016-05-25 12:36:45 +02:00 |
|
|
2bbd28c341
|
Enhanced command-line interface.
|
2016-05-24 16:24:37 +02:00 |
|
|
17685b68fb
|
Started implementing SAS to ASP translator.
|
2016-05-21 02:43:07 +02:00 |
|
|
d7984e9b3a
|
Moved exception catching from parser to application.
|
2016-05-20 16:16:56 +02:00 |
|
|
3ddf942a12
|
Initial commit.
|
2016-05-20 15:29:24 +02:00 |
|