From f082b92f0285dab54781581c5178a81885a35215 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 20:07:44 +0200
Subject: [PATCH] Update to tla2bAST 1.1.3 and corresponding parsers
This is the last tla2bAST version compatible with Java 7. (Not that
anyone really cares probably...)
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 7da21e6..7448fb5 100644
--- a/build.gradle
+++ b/build.gradle
@@ -27,7 +27,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.9.14'
+def parser_version = '2.9.23'
def tlatools_version = '1.0.2'
dependencies {
@@ -43,7 +43,7 @@ dependencies {
//implementation(group: 'de.hhu.stups', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
testImplementation(group: 'junit', name: 'junit', version: '4.12')
- testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.0')
+ testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.1.3')
}
java {
--
GitLab