Bump the all group across 1 directory with 12 updates

Bumps the all group with 11 updates in the / directory:

Package	From	To
org.sonarqube	`6.2.0.5505`	`7.0.1.6134`
com.github.ben-manes.versions	`0.52.0`	`0.53.0`
org.fxmisc.richtext:richtextfx	`0.11.5`	`0.11.6`
com.google.code.gson:gson	`2.13.1`	`2.13.2`
org.jetbrains.dokka:dokka-gradle-plugin	`2.0.0`	`2.1.0`
org.jetbrains.kotlin:kotlin-gradle-plugin	`2.2.0`	`2.2.21`
org.jetbrains.kotlin.plugin.serialization	`2.2.0`	`2.2.21`
org.junit.jupiter:junit-jupiter-api	`5.13.4`	`6.0.1`
org.junit.jupiter:junit-jupiter-params	`5.13.4`	`6.0.1`
org.junit.jupiter:junit-jupiter-engine	`5.13.4`	`6.0.1`
com.google.truth:truth	`1.4.4`	`1.4.5`

Updates org.sonarqube from 6.2.0.5505 to 7.0.1.6134

Updates com.github.ben-manes.versions from 0.52.0 to 0.53.0

Updates org.fxmisc.richtext:richtextfx from 0.11.5 to 0.11.6

Updates com.google.code.gson:gson from 2.13.1 to 2.13.2

Updates org.jetbrains.dokka:dokka-gradle-plugin from 2.0.0 to 2.1.0

Updates org.jetbrains.dokka:dokka-base from 2.0.0 to 2.1.0

Updates org.jetbrains.kotlin:kotlin-gradle-plugin from 2.2.0 to 2.2.21

Updates org.jetbrains.kotlin.plugin.serialization from 2.2.0 to 2.2.21

Updates org.junit.jupiter:junit-jupiter-api from 5.13.4 to 6.0.1

Updates org.junit.jupiter:junit-jupiter-params from 5.13.4 to 6.0.1

Updates org.junit.jupiter:junit-jupiter-engine from 5.13.4 to 6.0.1

Updates org.junit.jupiter:junit-jupiter-params from 5.13.4 to 6.0.1

Updates org.junit.jupiter:junit-jupiter-engine from 5.13.4 to 6.0.1

Updates com.google.truth:truth from 1.4.4 to 1.4.5

Updates org.jetbrains.kotlin.plugin.serialization from 2.2.0 to 2.2.21

updated-dependencies:

dependency-name: org.sonarqube dependency-version: 7.0.1.6134 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: com.github.ben-manes.versions dependency-version: 0.53.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.fxmisc.richtext:richtextfx dependency-version: 0.11.6 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: com.google.code.gson:gson dependency-version: 2.13.2 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.jetbrains.dokka:dokka-gradle-plugin dependency-version: 2.1.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.jetbrains.dokka:dokka-base dependency-version: 2.1.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.jetbrains.kotlin:kotlin-gradle-plugin dependency-version: 2.2.21 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.jetbrains.kotlin.plugin.serialization dependency-version: 2.2.21 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-api dependency-version: 6.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-params dependency-version: 6.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-engine dependency-version: 6.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-params dependency-version: 6.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-engine dependency-version: 6.0.1 dependency-type: direct:production update-type: version-update:semver-major dependency-group: all
dependency-name: com.google.truth:truth dependency-version: 1.4.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.jetbrains.kotlin.plugin.serialization dependency-version: 2.2.21 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all …

Signed-off-by: dependabot[bot] support@github.com

verifaps-lib

Library and programs for the verification of software for automated production systems.

License: GPLv3
Homepage: https://formal.iti.kit.edu/verifaps

How to build

Create all programs:

$ ./gradlew :exec:installDist

You can find the programs in ./exec/build/install/exec/bin.

Test project:

$ ./gradlew check

Modules overview

symbex – Symbolic execution engine and program transformations for Structured Text
aps-rvt – (Modular) Regression verification for Structued Text code
lang – Parser and AST for StructuredText, Sequential Function Chart, and Function Blocks
geteta – Framework and Tools for Generalized Test Tables
exec – Top-level module containing for generating programs
ide – graphical editor for editing Strutured Text and test table files
run – Interpreter for executing Structured Text
xml – Loading and Parsing of PCLOpenXML projects
smv – Model and parser for SMV – also includes nuXmv interface
smt – AST and parser for SMT (SExpr)
util and util-test –
web-backend (disabled) – Backend for the web frontend. (upcoming)