Merge branch 'trace-generation' of github.com:ftsrg/theta into trace-…

…generation

.github/workflows/CD-build.yml

@@ -0,0 +1,11 @@
+name: CD-build
+
+on:
+  workflow_dispatch:
+  workflow_call:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CD-create_release.yml

@@ -0,0 +1,53 @@
+name: Create release file
+'on':
+  workflow_dispatch: null
+jobs:
+  gradle:
+    name: Run Gradle
+    runs-on:
+      - ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-java@v3
+        with:
+          distribution: temurin
+          java-version: 17
+      - name: Setup and execute Gradle 'build' task
+        uses: gradle/gradle-build-action@v2
+        id: build
+        with:
+          arguments: build --scan
+      - run: 'echo "${{steps.build.outputs.build}}"'
+      - uses: actions/upload-artifact@v3
+        with:
+          name: ThetaJars
+          path: subprojects/**/*-all.jar
+  publish:
+    name: Publish Release
+    needs: gradle
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Creating version number
+        run: >-
+          echo "version=v$(grep "version" build.gradle.kts | tail -n 1 | cut -d
+          "=" -f2 | xargs echo )" >> $GITHUB_OUTPUT
+        id: value
+        shell: bash
+      - run: 'echo "${{steps.value.outputs.version}}"'
+      - uses: actions/download-artifact@v3
+        with:
+          name: ThetaJars
+          path: jar/
+      - name: Display structure of downloaded files
+        run: ls -R
+      - run: find jar
+      - run: for i in $(find jar -name "*-all.jar"); do mv $i jar/$(basename ${i%-${{steps.value.outputs.version}}-all.jar}.jar); done
+      - name: Release
+        uses: softprops/action-gh-release@v1
+        with:
+          files: jar/**/*.jar
+          body: "Auto-generated release"
+          name: ${{steps.value.outputs.version}}
+          tag_name: ${{steps.value.outputs.version}}
+

.github/workflows/CD-publish.yml

@@ -0,0 +1,11 @@
+name: CD-publish
+
+on:
+  workflow_dispatch:
+  workflow_call:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CI-build.yml

@@ -0,0 +1,11 @@
+name: CI-build
+
+on:
+  workflow_dispatch:
+  workflow_call:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CI-docs.yml

@@ -0,0 +1,25 @@
+name: CI-docs
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: actions/setup-python@v2
+        with:
+          python-version: 3.x
+      - run: pip install mkdocs-material==8.3.9
+      - run: pip install python-markdown-math==0.8
+      - run: pip install mkdocs==1.3.0
+      - run: mkdocs build --site-dir wiki
+        working-directory: doc/wiki
+      - uses: JamesIves/[email protected]
+        with:
+          branch: gh-pages
+          folder: doc/wiki/wiki
+          target_folder: wiki

.github/workflows/CI-sonar.yml

@@ -1,11 +1,11 @@
 name: CI-sonar
 
 on:
-  push:
-    branches:
-      - master
-  pull_request:
-    types: [opened, synchronize, reopened]
   workflow_dispatch:
+  workflow_call:
 
 jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CI-static.yml

@@ -1,6 +1,11 @@
-name: CI
+name: CI-static
 
 on:
   workflow_dispatch:
+  workflow_call:
 
 jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CI-test.yml

@@ -0,0 +1,11 @@
+name: CI-test
+
+on:
+  workflow_dispatch:
+  workflow_call:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CI.yml

@@ -4,3 +4,7 @@ on:
   workflow_dispatch:
 
 jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/CT-xcfa-sv-benchmarks.yml

@@ -0,0 +1,10 @@
+name: Test xcfa-cli on software verification tasks.
+'on':
+  workflow_dispatch: null
+jobs:
+  build:
+    name: Build theta-xcfa-cli
+    runs-on:
+      - ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3

.github/workflows/TR-master.yml

@@ -0,0 +1,13 @@
+name: TR-master
+
+on:
+  push:
+    branches:
+      - master
+  workflow_dispatch:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/TR-pr.yml

@@ -0,0 +1,12 @@
+name: TR-pr
+
+on:
+  pull_request:
+    types: [ opened, synchronize, reopened ]
+  workflow_dispatch:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/TR-push.yml

@@ -0,0 +1,11 @@
+name: TR-push
+
+on:
+  push:
+  workflow_dispatch:
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/TR-release.yml

@@ -0,0 +1,30 @@
+name: TR-release
+
+on:
+  workflow_dispatch:
+    inputs:
+      mode:
+        description: 'The type of version bump'
+        required: true
+        type: choice
+        options:
+          - major
+          - minor
+          - patch
+          - 'custom_override'
+        default: patch
+      custom_override:
+        description: The custom version to override the current version with
+        required: false
+        type: string
+      deploy_docs:
+        description: Whether to deploy the documentation as well
+        required: true
+        type: boolean
+        default: true
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2

.github/workflows/build-linux.yml

@@ -15,8 +15,6 @@ jobs:
       uses: actions/setup-java@v1
       with:
         java-version: 1.17
-    - name: Grant execute permission for gradlew
-      run: chmod +x gradlew
     - name: Build with Gradle
       run: ./gradlew build
     - name: Send test coverage to Codacy

.github/workflows/publish-maven.yml

@@ -0,0 +1,32 @@
+name: Publish release to Maven Central
+on:
+  workflow_dispatch:
+jobs:
+  gradle:
+    name: Run Gradle
+    runs-on:
+      - ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-java@v3
+        with:
+          distribution: temurin
+          java-version: 17
+      - name: Publish to Maven Staging
+        uses: gradle/gradle-build-action@v2
+        env:
+          OSSRH_PASSWORD: ${{ secrets.OSSRH_PASSWORD }}
+          OSSRH_USERNAME: ${{ secrets.OSSRH_USERNAME }}
+          PGP_KEY: ${{ secrets.PGP_KEY }}
+          PGP_KEY_ID: ${{ secrets.PGP_KEY_ID }}
+          PGP_PWD: ${{ secrets.PGP_PWD }} 
+        with:
+          arguments: publish
+      - name: Close staging and publish release
+        uses: gradle/gradle-build-action@v2
+        env:
+          OSSRH_PASSWORD: ${{ secrets.OSSRH_PASSWORD }}
+          OSSRH_USERNAME: ${{ secrets.OSSRH_USERNAME }}
+        with:
+          arguments: closeAndReleaseRepository
+

CONTRIBUTORS.md

@@ -10,5 +10,7 @@ Contributors:
 * [Milán Mondok](https://github.com/mondokm)
 * [Dániel Szekeres](https://github.com/szdan97)
 * [László Radnai](https://github.com/radl97)
-* [Zsófia Ádam](https://github.com/AdamZsofi)
+* [Zsófia Ádám](https://github.com/AdamZsofi)
 * [Vince Molnár](https://github.com/vincemolnar)
+* [Márk Somorjai](https://github.com/s0mark)
+* [Csanád Telbisz](https://github.com/csanadtelbisz)

build.gradle.kts

@@ -2,6 +2,7 @@ plugins {
     base
     id("jacoco-common")
     id("io.freefair.aggregate-javadoc") version "5.2"
+    id("io.codearte.nexus-staging") version "0.30.0" apply true
 }
 
 buildscript {
@@ -10,8 +11,8 @@ buildscript {
 }
 
 allprojects {
-    group = "hu.bme.mit.inf.theta"
-    version = "4.0.0"
+    group = "hu.bme.mit.theta"
+    version = "4.2.5"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }
@@ -51,4 +52,10 @@ tasks {
     check {
         dependsOn(test)
     }
+
+    nexusStaging {
+        serverUrl = "https://s01.oss.sonatype.org/service/local/"
+        username = System.getenv("OSSRH_USERNAME")
+        password = System.getenv("OSSRH_PASSWORD")
+    }
 }

buildSrc/src/main/kotlin/java-common.gradle.kts

@@ -1,5 +1,6 @@
 apply<JavaPlugin>()
 apply(plugin = "jacoco-common")
+apply(plugin = "maven-artifact")
 
 dependencies {
     val implementation: Configuration by configurations