Fix: pure function body lost in modular verification#74

Open

pawinkler wants to merge 9 commits intomainfrom

paul/pure-functions-body-bug

Commits on Mar 17, 2026

Fixed a bug which led to @Pure functions missing their body in the modular verification of a method
pawinkler
committed
Verified and updated tests
pawinkler
committed

Commits on Mar 20, 2026

Implemented requested changes for PR #74: eliminated duplication and aligned branches for pure and non-pure functions
pawinkler
committed

Commits on Mar 23, 2026

Made ProgramConverter.embedPureuserFunction private
pawinkler
committed

Commits on Apr 9, 2026

Removed unnecessary comment
pawinkler
committed