fixes

.github/actions/build-archive/README.md

@@ -24,8 +24,8 @@ Minimal necessary packages for Ubuntu 22.04 LTS:
 ├── lib - contains the native library dependencies
 ├── offset.sh - creates a mapping between statements of two C files
 ├── solvers - contains further dependencies (SMT-solvers), each having their respective licenses 
-├── specification-transformation.bin - binary for transforming various specifications to reachability
-├── specification-transformation.bin.LICENSE - license for `specification-transformation.bin`
+├── specification-transformation - binaries for transforming various specifications to reachability (this includes cpachecker, but we do not use it for verification.)
+├── specification-transformation.LICENSE - license for `specification-transformation`
 ├── theta-smtlib.jar - the jarfile for installing and managing smt solvers (not necessary unless different solver versions are required)
 ├── theta-start.sh - the starting script of TOOL_NAME
 └── theta.jar - the main jarfile of TOOL_NAME

.github/actions/build-archive/action.yml

@@ -65,7 +65,7 @@ runs:
         pushd ${{ inputs.name }}/${{ inputs.name }}/
         unzip $zipfile
         popd
-        cp $GITHUB_ACTION_PATH/specification-transformation.bin.LICENSE ${{ inputs.name }}/${{ inputs.name }}/
+        cp $GITHUB_ACTION_PATH/specification-transformation.LICENSE ${{ inputs.name }}/${{ inputs.name }}/
         cp $GITHUB_ACTION_PATH/offset.sh ${{ inputs.name }}/${{ inputs.name }}/
     - name: ZIP archive
       shell: bash

build.gradle.kts

@@ -29,7 +29,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.8.2"
+    version = "6.8.3"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }