Universe Type Rules#3724

Draft

PiIsRational wants to merge 22 commits intoKeYProject:mainfrom

PiIsRational:ut-integration

Commits on Jun 1, 2025

add the ownership rules
PiIsRational
committed

Commits on Jun 4, 2025

added the new rules
PiIsRational
committed

Commits on Jun 8, 2025

Commits on Jun 16, 2025

update to add the latest changes
PiIsRational
committed

Commits on Jul 2, 2025

do some bugfixes in the recoder parsers
PiIsRational
committed

Commits on Jul 21, 2025

the last changes
PiIsRational
committed

Commits on Jul 23, 2025

update the match conditions
PiIsRational
committed

Commits on Jul 26, 2025

add support for args and results in contracts
PiIsRational
committed

Commits on Aug 9, 2025

some changes
PiIsRational
committed

Commits on Sep 22, 2025

the new rule files
PiIsRational
committed

Commits on Sep 27, 2025

add the proofs
PiIsRational
committed

Commits on Oct 6, 2025

Commits on Oct 7, 2025

all the universe lemmas have a corresponding runnable proof
PiIsRational
committed

Commits on Oct 24, 2025

remove factorypaths
PiIsRational
committed

Commits on Oct 30, 2025

add support for dom references
PiIsRational
committed

Commits on Jan 11, 2026

Commits on Jan 30, 2026

apply spotless
PiIsRational
committed