Add the Universe Type Checker as a Dependency#3725

Draft

PiIsRational wants to merge 17 commits intoKeYProject:mainfrom

PiIsRational:universe-checker

Commits on Nov 17, 2025

Commits on Nov 18, 2025

save proof independent settings, that are not used by the configuration
PiIsRational
committed

Commits on Dec 8, 2025

first try
PiIsRational
committed

Commits on Dec 15, 2025

update the build scripts and add the annotations to key
PiIsRational
committed

Commits on Jan 4, 2026

universe typechecking works without adding anything to the classpath!
PiIsRational
committed
removing the other checkerframework is not necessary
PiIsRational
committed

Commits on Jan 10, 2026

update build.gradle
PiIsRational
committed

Commits on Jan 13, 2026

fix a bug concerning the javac extension classpaths
PiIsRational
committed

Commits on Jan 25, 2026

use the universe checker on maven central
PiIsRational
committed

Commits on Jan 30, 2026

remove unnessecary previously added javaredux classes
PiIsRational
committed

Commits on Feb 3, 2026