Skip to content

Partial Executer Optimizations#337

Merged
yuri91 merged 1 commit into
masterfrom
type-optimizer-changes
Jan 26, 2026
Merged

Partial Executer Optimizations#337
yuri91 merged 1 commit into
masterfrom
type-optimizer-changes

Partial Executer: Track progress of SCCs to avoid redundant visits

fed9cf3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar