swift
Sema: Progress towards an improved "too complex" check
#77723

Merged

Sema: Progress towards an improved "too complex" check #77723

slavapestov merged 2 commits into swiftlang:main from slavapestov:too-complex-stats

slavapestov requested a review from

hborla 353 days ago

slavapestov requested a review from

xedin 353 days ago

slavapestov requested a review from

artemcm 353 days ago

slavapestov requested a review from

tshortli 353 days ago

slavapestov requested a review from

DougGregor 353 days ago

Sema: Record the trail step count in solver statistics

c8415aea

Sema: Allow turning off expression timer with -solver-expression-time…

7fef225c

slavapestov force pushed to 7fef225c 353 days ago

xedin approved these changes on 2024-11-20

slavapestov merged 8b61c9b4 into main 352 days ago

Reviewers

xedin

hborla

artemcm

tshortli

DougGregor

Assignees

No one assigned

Labels

None yet

Milestone

No milestone