Version bump for release 0.2.0 RC 4

potassco · Mar 3, 2019 · c919156 · c919156
1 parent 2f4be87
commit c919156
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,6 +1,18 @@
 # Change Log
 
-## (unreleased)
+## 0.2.0 RC 4 (2019-02-12)
+
+### Changes
+
+* new translation mode for proving strong equivalence via logic of here-and-there (`--mode=here-and-there`, enabled by default)
+* former completion-oriented translation scheme now available with `--mode=completion`
+
+### Features
+
+* new TPTP output format for usage with theorem provers (`--output-format=tptp`, while `--output-format=human-readable` is the default)
+* full support for both integer and symbolic values with additional transformation for TPTP output
+* new option to enforce this transformation in the human-readable output format as well (`--map-to-integers=always`, while the default, `--map-to-integers=auto`, only applies the mapping for TPTP output)
+* information note if the input program is definite or not
 
 ### Bug Fixes
 

diff --git a/app/main.cpp b/app/main.cpp
@@ -82,7 +82,7 @@ int main(int argc, char **argv)
 
 	if (version)
 	{
-		std::cout << "anthem version 0.1.9+git" << std::endl;
+		std::cout << "anthem version 0.2.0-rc.4" << std::endl;
 		return EXIT_SUCCESS;
 	}