Bump the all group with 4 updates

Updates org.sonarqube from 7.1.0.6387 to 7.2.2.6593

Updates org.controlsfx:controlsfx from 11.2.2 to 11.2.3

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

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

updated-dependencies:

dependency-name: org.sonarqube dependency-version: 7.2.2.6593 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.controlsfx:controlsfx dependency-version: 11.2.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.jetbrains.kotlin:kotlin-gradle-plugin dependency-version: 2.3.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.jetbrains.kotlin.plugin.serialization dependency-version: 2.3.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.jetbrains.kotlin.plugin.serialization dependency-version: 2.3.0 dependency-type: direct:production update-type: version-update:semver-minor 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.

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)