Maintenance#17

Merged

anddann merged 10 commits intomainfrom

Oct 20, 2024

Commits on Oct 10, 2024

update source version
Andreas Dann
committed

Commits on Oct 11, 2024

update deps
Andreas Dann
committed
new spotless fmt plugin
Andreas Dann
committed
fix compile issue for new jdk
Andreas Dann
committed

Commits on Oct 19, 2024

improve output
Andreas Dann
committed

Commits on Oct 20, 2024

use soot compatible JDK version
Andreas Dann
committed
improve error messages
Andreas Dann
committed
update github workflow
Andreas Dann
committed
update github action
Andreas Dann
committed
Merge branch 'main' into maintenance
anddann
authored