More fixes for real applications#283

Merged

CaelmBleidd merged 82 commits intomainfrom

caelmbleidd/fixes

Jul 3, 2025

Commits on Jun 30, 2025

Hacks
CaelmBleidd
committed
More hacks
CaelmBleidd
committed
Some more fixes
CaelmBleidd
committed
Tmp commit
CaelmBleidd
committed
Input arrays support
CaelmBleidd
committed
Format

Lipen
authored and
CaelmBleidd
committed
Operators implementation
CaelmBleidd
committed
Some hacks
CaelmBleidd
committed
Fix a class signature lookup
CaelmBleidd
committed
Support simple casts
CaelmBleidd
committed
Clear logs
CaelmBleidd
committed
Add todo
CaelmBleidd
committed
Rebase fix
CaelmBleidd
committed
Tmp changes
CaelmBleidd
committed
Some fixes
CaelmBleidd
committed
Fix mocker return value
CaelmBleidd
committed
Resolve external locals

Lipen
authored and
CaelmBleidd
committed
Rename 'expr' arg in observer

Lipen
authored and
CaelmBleidd
committed
Format

Lipen
authored and
CaelmBleidd
committed
Add special case for "Aux[length] is a supertype of Array"

Lipen
authored and
CaelmBleidd
committed
Handle EtsArrayType in 'classesForType'

Lipen
authored and
CaelmBleidd
committed
Expand and re-construct ITE with fake branches

Lipen
authored and
CaelmBleidd
committed
Handle ptr call

Lipen
authored and
CaelmBleidd
committed
Remove unnecessary doWithState

Lipen
authored and
CaelmBleidd
committed
USE CALLEE INSTEAD OF METHOD

Lipen
authored and
CaelmBleidd
committed
Do not warn about unresolved 'then' method

Lipen
authored and
CaelmBleidd
committed
Cherry-pick main

Lipen
authored and
CaelmBleidd
committed
Fix printing of exceptions

Lipen
authored and
CaelmBleidd
committed
Support 'toString'

Lipen
authored and
CaelmBleidd
committed
Format

Lipen
authored and
CaelmBleidd
committed
Handle fake objects and ITE with fake branches

Lipen
authored and
CaelmBleidd
committed
Fix virtual invokes
CaelmBleidd
committed
Small dot modification
CaelmBleidd
committed
Add visualization
CaelmBleidd
committed
Add visualization
CaelmBleidd
committed
Visualization
CaelmBleidd
committed
Visualization
CaelmBleidd
committed
Move test
CaelmBleidd
committed
Fix arrays
CaelmBleidd
committed

Commits on Jul 1, 2025

Commits on Jul 2, 2025

Commits on Jul 3, 2025