Final 2.4.2 release

logic-ng · Mar 22, 2023 · 83b3902 · 83b3902
1 parent 6acdd1d
commit 83b3902
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 7 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,13 +1,17 @@
-# Changelog
+# LogicNG Java 11 Changelog
 
 LogicNG uses [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [x.y.z] - 2023-mm-dd
+## [2.4.2] - 2023-03-22
 
 ### Changed
 
+- Changed artifact id to `logicng-j11` (for Java 11 only)
 - Changed Java Version to JDK 11
-- switched to ANTLR 4.10
+- switched to ANTLR 4.11.1
+
+# LogicNG Java 8 Changelog
+
 
 ## [2.4.1] - 2022-12-01
 

diff --git a/README.md b/README.md
@@ -1,8 +1,12 @@
-![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-ff69b4.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng%22)
+![build](https://github.com/logic-ng/LogicNG/workflows/build/badge.svg) [![codecov](https://codecov.io/gh/logic-ng/LogicNG/branch/development/graph/badge.svg)](https://codecov.io/gh/logic-ng/LogicNG) ![License](https://img.shields.io/badge/license-Apache%202-ff69b4.svg) [![Maven Central](https://img.shields.io/maven-central/v/org.logicng/logicng.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22org.logicng%22%20AND%20a:%22logicng-j11%22)
 
 
 <a href="https://www.logicng.org"><img src="https://github.com/logic-ng/LogicNG/blob/master/doc/logo/logo_big.png" alt="logo" width="300"></a>
 
+# This is a Java 11 branch for LogicNG
+
+Use this branch if you need a current ANTLR version > 4.9.
+
 ## Introduction
 
 <a href="https://www.logicng.org">LogicNG</a> is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementations of popular tools
@@ -33,8 +37,8 @@ LogicNG is released in the Maven Central Repository. To include it just add
 
 <dependency>
   <groupId>org.logicng</groupId>
-  <artifactId>logicng</artifactId>
-  <version>2.4.1</version>
+  <artifactId>logicng-j11</artifactId>
+  <version>2.4.2</version>
 </dependency>
 ```
 

diff --git a/pom.xml b/pom.xml
@@ -26,7 +26,7 @@
   <modelVersion>4.0.0</modelVersion>
   <groupId>org.logicng</groupId>
   <artifactId>logicng-j11</artifactId>
-  <version>2.4.1</version>
+  <version>2.4.2</version>
   <packaging>bundle</packaging>
 
   <name>LogicNG</name>