Add packaging support for Docker images#739

Open

bahnwaerter wants to merge 38 commits intoultimate-pa:devfrom

bahnwaerter:wip/mb/packaging-docker

Commits on Aug 19, 2025

Commits on Aug 20, 2025

Enable colorized promt in Docker container
bahnwaerter
committed
Make Ultimate executable, scripts, and solvers in Docker image available
bahnwaerter
committed
Adjust Ultimate configuration path variable in Docker container
bahnwaerter
committed
Make maximum heap and stack size configurable for Ultimate products
bahnwaerter
committed
Fix invalid Docker compose build argument for the Webbackend image
bahnwaerter
committed
Make maximum heap and stack size configurable in Docker compose setup
bahnwaerter
committed
Add GCC as syntax checker to Docker image of WebBackend
bahnwaerter
committed
Fix invalid Docker defaults for the Ultimate Webservices
bahnwaerter
committed

Commits on Aug 21, 2025

Fix issue when archiving the Ultimate Debug UI product
bahnwaerter
committed