Skip to content

Eager Constraint Solving in Polymorphic Flow Analysis - #621

Open
flandia wants to merge 7 commits into
hkust-taco:hkmc2from
flandia:eager-analysis
Open

flandia wants to merge 7 commits into
hkust-taco:hkmc2from
flandia:eager-analysis

Conversation

@flandia

@flandia flandia commented Nov 6, 2026

Copy link
Copy Markdown
Contributor

(#605 rebased onto hkmc2)

@flandia
flandia marked this pull request as ready for review November 6, 2026 13:50
@flandia
flandia requested review from LPTK and ychenfo November 6, 2026 14:03
@LPTK

LPTK commented Nov 7, 2026

Copy link
Copy Markdown
Contributor

Pls merge with the main branch.

@ychenfo ychenfo left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Two minor comments, otherwise it looks fine to me, thanks!

codex and others added 2 commits November 11, 2026 00:11
Resolve the flow-analysis and golden-output conflicts, retaining the upstream OptionalNull test deletion and refreshed merge goldens.

Validation: the main diff suite passed all 800 tests after a timeout retry. The final aggregate test run was interrupted by OOM; full validation remains incomplete.
@flandia

flandia commented Nov 11, 2026

Copy link
Copy Markdown
Contributor Author

@LPTK done :)

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants