patrick
/
plasp
Archived
1
0
Fork 0
Commit Graph

44 Commits

Author SHA1 Message Date
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 2d0e4b09fa
Updated changelog with variable name replacement. 2017-11-25 17:18:50 +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 ce4fe6a113
Fixed typo. 2017-11-17 15:39:21 +01:00
Patrick Lühne 9281592c39
Rephrased change log for 3.1.0 for clarity. 2017-11-17 00:18:51 +01:00
Patrick Lühne 23130134bb
Made translator descriptions more concise. 2017-11-16 18:11:38 +01:00
Patrick Lühne 4faa8813e4
Added removed Boost dependency to change log. 2017-10-28 17:33:26 +02:00
Patrick Lühne 8b487b0a82
Structured change log more nicely. 2017-10-14 02:31:04 +02:00
Patrick Lühne cb61f7cc5e
Making command-line options in change log more specific. 2017-10-14 02:13:47 +02:00
Patrick Lühne 5ec4dd2aaf
Added new commands to the change log. 2017-10-14 02:13:47 +02:00
Patrick Lühne d8b2aa9720
Updated change log with new command interface. 2017-10-14 02:13:46 +02:00
Patrick Lühne 46cd4de854
Updated changelog with parser support for equalities. 2017-08-31 19:29:54 +02:00
Patrick Lühne 9199b68080
Renamed “pddlparse” library to simply “pddl”. 2017-08-09 17:52:50 +02:00
Patrick Lühne 7162fa76f6
Updated change log with new compatibility parsing mode. 2017-06-20 03:27:06 +02:00
Patrick Lühne ff782a8642
Updated change log with internal switch to PDDL parsing library. 2017-06-20 01:59:33 +02:00
Patrick Lühne c1340f6297
Merge branch 'develop' of github.com:potassco/plasp into normalization 2016-12-02 01:16:22 +01:00
Patrick Lühne 9e1cdaaa51
Implemented new command-line options replacing --warning-level. 2016-12-01 17:18:58 +01:00
Patrick Lühne f4efb4f3d4
Improved command-line interface. 2016-11-29 02:05:01 +01:00
Patrick Lühne bec63898af Updated change log with newly supported expression types. 2016-09-08 15:59:02 +02:00
Patrick Lühne 5f406e6b18 Added support for imply expressions to change log. 2016-09-02 18:46:24 +02:00
Patrick Lühne 8361f3767b Version bump after release 3.0.3. 2016-09-02 15:46:58 +02:00
Patrick Lühne b72a17c190 Version bump for release 3.0.3. 2016-09-02 15:46:14 +02:00
Patrick Lühne 76f8df13fc Fixed parsing issue with unexpected whitespaces in SAS files. 2016-08-30 13:01:22 +02:00
Patrick Lühne 568945c7a8 Fixed incorrect output format of conditional effects with SAS. 2016-08-26 15:50:39 +02:00
Patrick Lühne b44c04d3c0 Version bump for release 3.0.2. 2016-08-18 15:55:51 +02:00
Patrick Lühne 91019f52aa Fixed issue with unsupported expression negations. 2016-08-16 18:58:30 +02:00
Patrick Lühne cdb06fa5bf Improved output format and highlighting. 2016-08-16 18:35:55 +02:00
Patrick Lühne e2da46e20a Updated change log with documentation of output format. 2016-08-14 16:37:31 +02:00
Patrick Lühne 7a73f99581 Updated change log with recent fixes in SAS output formatting. 2016-08-13 19:14:04 +02:00
Patrick Lühne c12be088c6 Updated change log with unified output format. 2016-08-13 11:12:38 +02:00
Patrick Lühne 9ed7277ec9 Fixed minor formatting issue with axiom rules. 2016-06-22 08:45:48 +01:00
Patrick Lühne 3702b72feb Version bump after release 3.0.1. 2016-06-15 00:18:09 +02:00
Patrick Lühne 9af383d2f6 Version bump for release 3.0.1. 2016-06-14 19:26:41 +02:00
Patrick Lühne 5bda1c2245 Reordered change log items. 2016-06-14 18:08:32 +02:00
Patrick Lühne eb3d91f085 Added command-line option to autodetect, enable, or disable color output. 2016-06-14 18:02:59 +02:00
Patrick Lühne f7cd24b67a Colorized output for SAS translator. 2016-06-14 17:35:32 +02:00
Patrick Lühne a23063fd4f Minor formatting. 2016-06-14 14:22:41 +02:00
Patrick Lühne 268bee3c5f Updated change log with new command-line option --warning-level. 2016-06-13 14:46:30 +02:00
Patrick Lühne 1c2ad0ceec Updated change log with addition of basic PDDL translation. 2016-06-13 03:59:48 +02:00
Patrick Lühne 168fcc874e Added PDDL-related changes to change log. 2016-06-10 01:30:30 +02:00
Patrick Lühne 36e28994ee Updated change log. 2016-06-03 00:19:05 +02:00
Patrick Lühne 75c841e3c5 Added change log. 2016-05-25 12:42:31 +02:00