Skip to content

Faster bindWide - #55

Merged
sungshik merged 3 commits into
performance-improvements-mainfrom
performance-improvements/faster-bindwide
Aug 14, 2026
Merged

Faster bindWide#55
sungshik merged 3 commits into
performance-improvements-mainfrom
performance-improvements/faster-bindwide

Conversation

@sungshik

@sungshik sungshik commented Jul 29, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@sungshik sungshik mentioned this pull request Jul 29, 2026
3 tasks
@sungshik
sungshik marked this pull request as ready for review August 12, 2026 07:43
Comment thread src/analysis/typepal/ConfigurableScopeGraph.rsc
Comment thread src/analysis/typepal/ConfigurableScopeGraph.rsc Outdated
@PaulKlint
PaulKlint self-requested a review August 12, 2026 12:49

@PaulKlint PaulKlint 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.

Looks fine! Some minor remarks

@sungshik
sungshik merged commit edbf802 into performance-improvements-main Aug 14, 2026
1 check passed
@sungshik
sungshik deleted the performance-improvements/faster-bindwide branch August 14, 2026 08:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants