Bump the all group with 7 updates

Bumps the all group with 7 updates:

Package	From	To
org.sonarqube	`7.3.1.8318`	`7.4.0.8496`
com.github.ben-manes.versions	`0.56.0`	`0.61.0`
io.github.wadoon:kotlin-prettyprinting	`1.0`	`1.1.0`
gradle-wrapper	`9.6.1`	`9.7.1`
org.junit.jupiter:junit-jupiter-api	`6.1.2`	`6.1.3`
org.junit.jupiter:junit-jupiter-params	`6.1.2`	`6.1.3`
org.junit.jupiter:junit-jupiter-engine	`6.1.2`	`6.1.3`

Updates org.sonarqube from 7.3.1.8318 to 7.4.0.8496

Updates com.github.ben-manes.versions from 0.56.0 to 0.61.0

Updates io.github.wadoon:kotlin-prettyprinting from 1.0 to 1.1.0

Commits

Updates gradle-wrapper from 9.6.1 to 9.7.1

Updates org.junit.jupiter:junit-jupiter-api from 6.1.2 to 6.1.3

Updates org.junit.jupiter:junit-jupiter-params from 6.1.2 to 6.1.3

Updates org.junit.jupiter:junit-jupiter-engine from 6.1.2 to 6.1.3

Updates org.junit.jupiter:junit-jupiter-params from 6.1.2 to 6.1.3

Updates org.junit.jupiter:junit-jupiter-engine from 6.1.2 to 6.1.3

updated-dependencies:

dependency-name: org.sonarqube dependency-version: 7.4.0.8496 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: com.github.ben-manes.versions dependency-version: 0.61.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: io.github.wadoon:kotlin-prettyprinting dependency-version: 1.1.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: gradle-wrapper dependency-version: 9.7.1 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-api dependency-version: 6.1.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-params dependency-version: 6.1.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-engine dependency-version: 6.1.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-params dependency-version: 6.1.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.junit.jupiter:junit-jupiter-engine dependency-version: 6.1.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all …

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

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)

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

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)