Merge IL changes from upstream (WIP)#2079

Closed

rossberg wants to merge 93 commits intoWebAssembly:mainfrom

Wasm-DSL:merge-deptup

Commits on Sep 30, 2025

Ported type family removal pass from MIL
DCupello1
committed

Commits on Oct 1, 2025

Generated projection functions for each type family instance.
DCupello1
committed

Commits on Oct 3, 2025

Created chains that lead from the real type to the expected type. Improved equality check through type alias reduction. Added some more cases for conversion checks. Made a wrapper function for the …
DCupello1
committed
Refactor: simplified exp transformation by making it only do conversions after traversal, making it possible to not write specific cases for conversions. Removed boolean parameter indicating that i…
DCupello1
committed
Made family constructors actually expose the binded variables as case arguments. Some small changes also done to make wasm 3.0 validate.
DCupello1
committed
Some more cleanup. Made it so generation of conversion functions is done before applying conversions. Fixed an issue with getting the real type of CaseE and also added some more cases to get_real_t…
DCupello1
committed

Commits on Oct 5, 2025

Commits on Oct 6, 2025

Some extra fixes on iteration typing to make rocq code compile.
DCupello1
committed

Commits on Oct 8, 2025

Commits on Oct 13, 2025

Commits on Oct 17, 2025

Merge pull request #186 from DCupello1/typefamily-removal-pass
rossberg
authored

Commits on Oct 27, 2025

Commits on Oct 30, 2025

Merge pull request #187 from DCupello1/else-pass
DCupello1
authored

Commits on Nov 4, 2025

Commits on Nov 13, 2025

Commits on Nov 14, 2025

Commits on Nov 19, 2025

Commits on Nov 21, 2025

Commits on Dec 1, 2025

Add IfE constuctor to IL AST (#210)
nomeata
authored

Commits on Dec 4, 2025

Merge pull request #195 from Wasm-DSL/sub-expansion-pass
DCupello1
authored

Commits on Dec 15, 2025

Made transform, collect, exists and forall traversal
DCupello1
committed

Commits on Dec 16, 2025

Commits on Dec 18, 2025

Commits on Jan 7, 2026

Commits on Jan 19, 2026

Merge pull request #198 from Wasm-DSL/improve-ids-pass
DCupello1
authored

Commits on Jan 20, 2026

Merge remote-tracking branch 'upstream/main' into sync2
rossberg
committed

Commits on Feb 12, 2026