Patrick Lühne
af325e3991
Version bump after release 3.1.1.
2017-11-25 17:52:52 +01:00
Patrick Lühne
31542c6adc
Version bump for release 3.1.1.
2017-11-25 17:21:45 +01:00
Patrick Lühne
7c02b46f7c
Version bump after release 3.1.0.
2017-11-17 19:33:21 +01:00
Patrick Lühne
1c44dfcda7
Version bump for release 3.1.0.
2017-11-17 18:43:02 +01:00
Patrick Lühne
9fde2b8e1b
Updated cxxopts to 2.0.0.
...
Starting from version 2.0.0, cxxopts returns a ParseResult object
instead of storing the results directly within the Options structure.
Additionally, Booleans are handled slightly differently.
These two changes required some minor adjustment of the command-line
argument parsing code.
2017-11-17 00:51:51 +01:00
Patrick Lühne
c283adc42a
Minor formatting.
2017-11-17 00:47:35 +01:00
Patrick Lühne
23130134bb
Made translator descriptions more concise.
2017-11-16 18:11:38 +01:00
Patrick Lühne
d0b7f89925
Removed unwanted newlines at the end of output.
2017-10-25 17:01:19 +02:00
Patrick Lühne
f6eed53550
Minor formatting.
2017-10-14 02:13:47 +02:00
Patrick Lühne
b8bd42d361
Implemented “check-syntax” command.
2017-10-14 02:13:47 +02:00
Patrick Lühne
89edafb586
Implemented “beautify” command.
2017-10-14 02:13:47 +02:00
Patrick Lühne
0d5245b48b
Showing list of available commands in help message.
2017-10-14 02:13:47 +02:00
Patrick Lühne
d20b30d34d
Implemented “normalize” command.
2017-10-14 02:13:47 +02:00
Patrick Lühne
b99e7c198a
Refactored “translate” command.
2017-10-14 02:13:46 +02:00
Patrick Lühne
868c220e42
Minor formatting.
2017-10-14 02:13:46 +02:00
Patrick Lühne
cde892c771
Added command for printing version information.
2017-10-14 02:13:46 +02:00
Patrick Lühne
974c94fbb0
Unified version printing.
2017-10-14 02:13:46 +02:00
Patrick Lühne
2be3f4256a
Refactored command base class for simplicity.
2017-10-14 02:13:46 +02:00
Patrick Lühne
5427876e36
Added workaround for GCC 6 compiler error.
2017-10-14 02:13:46 +02:00
Patrick Lühne
abdc4e31dc
Refactored printing help messages in commands.
2017-10-14 02:13:46 +02:00
Patrick Lühne
db7ea6f2fe
Removed unwanted methods.
2017-10-14 02:13:46 +02:00
Patrick Lühne
63c4da8fad
Made option group parsing more uniform.
2017-10-14 02:13:46 +02:00
Patrick Lühne
86486207b8
Added help and version options to the translate command.
2017-10-14 02:13:46 +02:00
Patrick Lühne
569b170aba
Using cxxopts as a submodule.
2017-10-14 02:13:45 +02:00
Patrick Lühne
f6c9e19a60
Outsourced parsing of common options in plasp app.
2017-10-14 02:13:45 +02:00
Patrick Lühne
6b891fcb8e
Prepared app directory for future subcommands.
2017-10-14 02:13:45 +02:00
Patrick Lühne
9199b68080
Renamed “pddlparse” library to simply “pddl”.
2017-08-09 17:52:50 +02:00
Patrick Lühne
b2ac47c2d3
Moved Boost dependency to plasp application only.
2017-06-28 01:42:29 +02:00
Patrick Lühne
31cf6d287d
Internal version bump to 3.1.0-git because of the scope of the changes since 3.0.3.
2017-06-28 01:06:30 +02:00
Patrick Lühne
994801525a
Implemented negation normalization (NFF).
2017-06-24 17:19:35 +02:00
Patrick Lühne
9d1a8f4c0f
Started implementing PDDL normalization.
2017-06-23 04:18:07 +02:00
Patrick Lühne
e93085d88a
Moved color logging to separate library for reusing it in PDDL parser.
2017-06-22 20:58:31 +02:00
Patrick Lühne
17985e3b5a
Added note suggesting using the compatibility mode if errors occur.
2017-06-21 03:07:09 +02:00
Patrick Lühne
002f875c53
Lowered default message logging priority to info.
2017-06-21 03:05:37 +02:00
Patrick Lühne
39c0e27cb2
Refactoring of tokenizer and stream classes for better efficiency and maintainability.
2017-06-21 02:56:27 +02:00
Patrick Lühne
f5a73f09f8
Added command-line option to enable the parser’s compatibility mode.
2017-06-20 03:23:19 +02:00
Patrick Lühne
e345fd60fd
Reimplemented plasp with PDDL parsing library.
2017-06-20 01:53:55 +02:00
Patrick Lühne
e312a91632
Renamed tokenizing module for clarity.
2017-05-12 14:17:57 +02:00
Patrick Lühne
27c6b69874
Moved basic parsing to a separate module.
2017-05-09 15:05:59 +02:00
Patrick Lühne
88cb8f4516
Improved CMake structure.
2017-05-09 13:01:10 +02:00
Patrick Lühne
9e1cdaaa51
Implemented new command-line options replacing --warning-level.
2016-12-01 17:18:58 +01:00
Patrick Lühne
c4e19dddae
Refactoring to use cleaner output implementation.
2016-11-29 06:03:05 +01:00
Patrick Lühne
9b49b8ebe7
CMake project restructuring.
2016-11-29 02:55:26 +01:00
Patrick Lühne