From 441b8b015475152441e28f228537470ee86c26f8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 25 May 2016 12:36:45 +0200 Subject: [PATCH 1/5] Added support for input from std::cin. --- apps/plasp-app/main.cpp | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/apps/plasp-app/main.cpp b/apps/plasp-app/main.cpp index fdebffa..6576d4e 100644 --- a/apps/plasp-app/main.cpp +++ b/apps/plasp-app/main.cpp @@ -57,16 +57,12 @@ int main(int argc, char **argv) return EXIT_SUCCESS; } - if (!variablesMap.count("input")) - { - std::cerr << "Error: No input file specified" << std::endl << std::endl; - printHelp(); - return EXIT_FAILURE; - } - try { - const auto sasDescription = plasp::sas::Description::fromFile(variablesMap["input"].as()); + const auto sasDescription = variablesMap.count("input") + ? plasp::sas::Description::fromFile(variablesMap["input"].as()) + : plasp::sas::Description::fromStream(std::cin); + const auto sasTranslator = plasp::sas::TranslatorASP(sasDescription); sasTranslator.translate(std::cout); } From 75c841e3c533bac2b90430e33500327bcc4b060e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 25 May 2016 12:42:31 +0200 Subject: [PATCH 2/5] Added change log. --- CHANGELOG.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 CHANGELOG.md diff --git a/CHANGELOG.md b/CHANGELOG.md new file mode 100644 index 0000000..b13871e --- /dev/null +++ b/CHANGELOG.md @@ -0,0 +1,14 @@ +# Change Log + +## (unreleased) + +Features: + +* supports input from std::cin + +## 3.0.0 (2016-05-24) + +Features: + +* parses [SAS](http://www.fast-downward.org/TranslatorOutputFormat) files created with [Fast Downward](http://www.fast-downward.org/) +* experimental translation from SAS to ASP facts From 062a04233f7a7abfaa5c46581386300367948cf1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 25 May 2016 12:44:28 +0200 Subject: [PATCH 3/5] Changed license to Markdown format. --- LICENSE => LICENSE.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename LICENSE => LICENSE.md (94%) diff --git a/LICENSE b/LICENSE.md similarity index 94% rename from LICENSE rename to LICENSE.md index ebdc5b6..cf01b76 100644 --- a/LICENSE +++ b/LICENSE.md @@ -1,6 +1,6 @@ -The MIT License (MIT) +# The MIT License (MIT) -Copyright (c) 2016 Patrick Lühne +Copyright © 2016 Patrick Lühne Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal From 0cbb3453bd854a386305778adf24f68bd1de11ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 25 May 2016 18:04:49 +0200 Subject: [PATCH 4/5] Added version badge to readme file. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 8a636bc..a77fc50 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ # plasp—Translate PDDL to ASP -[![Build Status](https://travis-ci.org/potassco/plasp.svg?branch=master)](https://travis-ci.org/potassco/plasp) +[![GitHub Release](https://img.shields.io/github/release/potassco/plasp.svg?maxAge=2592000)]() +[![Build Status](https://img.shields.io/travis/potassco/plasp/master.svg?maxAge=2592000)]() `plasp` 3 is in early development and not intended for productive use yet. From 7a8b562173ce4097642d4434f7eadf924a3f248b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 25 May 2016 18:11:00 +0200 Subject: [PATCH 5/5] Fixed URLs in readme file. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index a77fc50..292396d 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # plasp—Translate PDDL to ASP -[![GitHub Release](https://img.shields.io/github/release/potassco/plasp.svg?maxAge=2592000)]() -[![Build Status](https://img.shields.io/travis/potassco/plasp/master.svg?maxAge=2592000)]() +[![GitHub Release](https://img.shields.io/github/release/potassco/plasp.svg?maxAge=2592000)](https://github.com/potassco/plasp/releases) +[![Build Status](https://img.shields.io/travis/potassco/plasp/master.svg?maxAge=2592000)](https://travis-ci.org/potassco/plasp?branch=master) `plasp` 3 is in early development and not intended for productive use yet.