From 8aacb4196ddb416472ecaae52542de44e652db30 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 28 Feb 2025 15:20:03 +0100
Subject: [PATCH] Switch to release versions of parsers and tla2bAST
---
build.gradle | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index c27f393..76878b1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -26,7 +26,7 @@ configurations.all {
resolutionStrategy.cacheChangingModulesFor 0, 'seconds'
}
-def parser_version = '2.15.0-SNAPSHOT'
+def parser_version = '2.15.0'
dependencies {
//implementation(group: 'com.microsoft', name: 'tla2tools', version: '1.4.6')
@@ -37,7 +37,7 @@ dependencies {
implementation(group: 'de.hhu.stups', name: 'ltlparser', version: parser_version)
testImplementation(group: 'junit', name: 'junit', version: '4.13.2')
- testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1-SNAPSHOT')
+ testImplementation(group: 'de.hhu.stups', name: 'tla2bAST', version: '1.4.1')
}
java {
--
GitLab