Shared: Re-factor summary, source and sink model generators into separate modules.#19382

Merged

michaelnebel merged 7 commits intogithub:mainfrom

michaelnebel:shared/modelgenrefactor

May 2, 2025

Commits on Apr 29, 2025

Shared: Split model printing of summaries and sources/sinks into separate param modules.
michaelnebel
committed
Shared: Make the summary, source and sink model generation a parameterized module.
michaelnebel
committed
C#: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
Java: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
C++: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
Rust: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
Shared: Sprinkle some predicate defaults and clean up.
michaelnebel
committed