Bump the all group with 11 updates

Bumps the all group with 11 updates:

Package	From	To
com.github.ajalt.clikt:clikt	`5.0.2`	`5.0.3`
com.miglayout:miglayout-javafx	`11.3`	`11.4.2`
org.fxmisc.richtext:richtextfx	`0.11.2`	`0.11.5`
org.kordamp.ikonli:ikonli-fontawesome5-pack	`12.3.1`	`12.4.0`
org.kordamp.ikonli:ikonli-materialdesign2-pack	`12.3.1`	`12.4.0`
org.kordamp.ikonli:ikonli-javafx	`12.3.1`	`12.4.0`
org.jfxtras:jmetro	`11.6.15`	`11.6.16`
org.controlsfx:controlsfx	`11.0.0`	`11.2.2`
org.sosy-lab:java-smt	`5.0.1`	`5.0.1-523-g9001c0ea4`
org.sosy-lab:javasmt-solver-z3	`4.13.4`	`4.14.0`
com.google.code.gson:gson	`2.12.1`	`2.13.1`

Updates com.github.ajalt.clikt:clikt from 5.0.2 to 5.0.3

Updates com.miglayout:miglayout-javafx from 11.3 to 11.4.2

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

Updates org.kordamp.ikonli:ikonli-fontawesome5-pack from 12.3.1 to 12.4.0

Updates org.kordamp.ikonli:ikonli-materialdesign2-pack from 12.3.1 to 12.4.0

Updates org.kordamp.ikonli:ikonli-javafx from 12.3.1 to 12.4.0

Updates org.jfxtras:jmetro from 11.6.15 to 11.6.16

Updates org.controlsfx:controlsfx from 11.0.0 to 11.2.2

Updates org.sosy-lab:java-smt from 5.0.1 to 5.0.1-523-g9001c0ea4

Updates org.sosy-lab:javasmt-solver-z3 from 4.13.4 to 4.14.0

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

updated-dependencies:

dependency-name: com.github.ajalt.clikt:clikt dependency-version: 5.0.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: com.miglayout:miglayout-javafx dependency-version: 11.4.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.fxmisc.richtext:richtextfx dependency-version: 0.11.5 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.kordamp.ikonli:ikonli-fontawesome5-pack dependency-version: 12.4.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.kordamp.ikonli:ikonli-materialdesign2-pack dependency-version: 12.4.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.kordamp.ikonli:ikonli-javafx dependency-version: 12.4.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.jfxtras:jmetro dependency-version: 11.6.16 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.controlsfx:controlsfx dependency-version: 11.2.2 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: org.sosy-lab:java-smt dependency-version: 5.0.1-523-g9001c0ea4 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: all
dependency-name: org.sosy-lab:javasmt-solver-z3 dependency-version: 4.14.0 dependency-type: direct:production update-type: version-update:semver-minor dependency-group: all
dependency-name: com.google.code.gson:gson dependency-version: 2.13.1 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.

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)