Sema: Finish hollowing out SolverScope #76921
slavapestov
merged
8 commits into
swiftlang:main
from
slavapestov:cstrail-part-5
Sema: Try not to make a negative impact
13239532
Sema: Rename applySolution() to replaySolution()
877c60e3
Sema: Record score increases in the trail
1e2d4fbc
Sema: Record generated constraints in the trail
90175400
Sema: Record retired constraints in the trail
5fdc1a81
Sema: Use xmacros to clean up more duplication in CSTrail.{cpp,h}
bdab82a1
Sema: Remove SolverScope::numFixes
0b85ce6f
Sema: Remove some unnecessary heap allocation of SolverScopes
e9add923
xedin
commented
on 2024-10-09
xedin
commented
on 2024-10-09
Login to write a write a comment.
Login via GitHub