IL Traversals#212

Merged

DCupello1 merged 9 commits intomainfrom

il-transformers

Jan 8, 2026

Commits on Dec 15, 2025

Made transform, collect, exists and forall traversal
DCupello1
committed

Commits on Dec 16, 2025

Commits on Dec 18, 2025

Small fix on walk making collector only work on lists. Made so custom functions can decide to stop the traversal.
DCupello1
committed
Fix tests (this change is due to small bug on uncase with introduction of ITE pass)
DCupello1
committed

Commits on Jan 7, 2026

Adapted sideconditions to utilize the new traversal method. Found issue with reverse collection in walk.ml
DCupello1
committed
Small fix on walk.ml to allow paths to also traverse their note.
DCupello1
committed
Adapted undep to also follow new traversals approach
DCupello1
committed