fix: improve netzschleuder internals#40

Merged

schochastics merged 9 commits intomainfrom

Jun 2, 2025

Commits on May 24, 2025

Apply suggestions from code review

schochastics
and
maelle
authored

Commits on May 31, 2025

review changes
schochastics
committed

Commits on Jun 1, 2025