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 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 diff --git a/README.md b/README.md index 8a636bc..292396d 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)](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. 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); }