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

Merged

michaelnebel merged 7 commits into

github: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
b5c596b
Shared: Make the summary, source and sink model generation a parameterized module.
michaelnebel
committed
bb6530f
C#: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
0016fbf
Java: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
2535055
C++: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
c16d913
Rust: Re-factor implementation to use the new model generator interface.
michaelnebel
committed
a6b5645
Shared: Sprinkle some predicate defaults and clean up.
michaelnebel
committed
c9d01bc