Slava Pestov
|
38fe0696a4
|
Sema: Factor out clearScore() and replayScore()
|
2024-10-09 11:48:07 -04:00 |
|
Slava Pestov
|
c8db9f55e6
|
Sema: Remove last heap allocation of Scope
|
2024-10-09 11:48:07 -04:00 |
|
Slava Pestov
|
24e5a828e6
|
Merge pull request #76921 from slavapestov/cstrail-part-5
Sema: Finish hollowing out SolverScope
|
2024-10-09 08:04:07 -04:00 |
|
Slava Pestov
|
0b85ce6f00
|
Sema: Remove SolverScope::numFixes
|
2024-10-08 16:57:49 -04:00 |
|
Slava Pestov
|
bdab82a192
|
Sema: Use xmacros to clean up more duplication in CSTrail.{cpp,h}
|
2024-10-08 16:50:49 -04:00 |
|
Slava Pestov
|
5fdc1a81b8
|
Sema: Record retired constraints in the trail
|
2024-10-08 16:39:34 -04:00 |
|
Slava Pestov
|
fc7068ee40
|
Merge pull request #76910 from slavapestov/open-type-perf-fix
Fix performance regression in ConstraintSystem::openType()
|
2024-10-08 16:17:58 -04:00 |
|
Slava Pestov
|
90175400d2
|
Sema: Record generated constraints in the trail
|
2024-10-08 16:17:28 -04:00 |
|
Slava Pestov
|
1e2d4fbc59
|
Sema: Record score increases in the trail
|
2024-10-08 16:16:31 -04:00 |
|
Slava Pestov
|
877c60e3d0
|
Sema: Rename applySolution() to replaySolution()
|
2024-10-08 16:16:01 -04:00 |
|
Slava Pestov
|
1323953219
|
Sema: Try not to make a negative impact
|
2024-10-08 16:14:05 -04:00 |
|
Steven Wu
|
5fa12d31ae
|
Merge pull request #76738 from cachemeifyoucan/eng/PR-136787368
[CAS] Use IncludeTreeFileList instead of full CASFS for caching
|
2024-10-08 10:42:24 -07:00 |
|
Slava Pestov
|
e47f9966ad
|
Sema: ConstraintSystem::openType() uses TypeTransform
|
2024-10-07 17:46:40 -04:00 |
|
Slava Pestov
|
4a82d384b7
|
Sema: Record synthesized conformances in the trail
|
2024-10-07 16:50:49 -04:00 |
|
Slava Pestov
|
12eb7cec26
|
Sema: Record implicit callAsFunction() roots in the trail
|
2024-10-07 16:50:49 -04:00 |
|
Slava Pestov
|
72a60728fc
|
Sema: Record argument lists in the trail
|
2024-10-07 16:50:49 -04:00 |
|
Slava Pestov
|
f2412f318e
|
Sema: Record key path expressions in the trail
|
2024-10-07 16:50:48 -04:00 |
|
Slava Pestov
|
881a0100b2
|
Sema: Record implicit value conversions in the trail
|
2024-10-07 16:50:48 -04:00 |
|
Slava Pestov
|
ac17292dfe
|
Sema: Record preconcurrency closures in the trail
|
2024-10-07 16:50:48 -04:00 |
|
Slava Pestov
|
b961a7ec51
|
Sema: Record isolated parameters in the trail
|
2024-10-07 16:50:48 -04:00 |
|
Slava Pestov
|
1d177d0187
|
Sema: Record expression patterns in the trail
|
2024-10-07 16:50:48 -04:00 |
|
Slava Pestov
|
500acd122a
|
Sema: Record potential throw sites in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
39d0eab275
|
Sema: Record case label items in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
8c8a385a4a
|
Sema: Record SyntacticElementTargetKeys in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
516277f0fd
|
Sema: Record contextual types in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
666361adf2
|
Sema: Record implied results in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
1d18cd07cf
|
Sema: Record closure types in the trail
|
2024-10-07 16:50:47 -04:00 |
|
Slava Pestov
|
43a4ac9216
|
Sema: Record resolved overloads in the trail
|
2024-10-07 16:50:46 -04:00 |
|
Slava Pestov
|
892e79cd70
|
Sema: Use an xmacro to clean up some duplication in CSTrail.cpp
|
2024-10-07 16:50:46 -04:00 |
|
Slava Pestov
|
6862955244
|
Sema: Record applied property wrappers in the trail
|
2024-10-07 16:50:46 -04:00 |
|
Slava Pestov
|
c7edc3494e
|
Sema: Record result builder transforms in the trail
|
2024-10-07 16:50:45 -04:00 |
|
Slava Pestov
|
64293ece51
|
Sema: Push reconciliation down into applySolution() to strengthen invariants
Now, we assert if you try to record the same change twice in any
other code path.
|
2024-10-07 16:50:45 -04:00 |
|
Slava Pestov
|
61575d9913
|
Sema: Remove a few isRecordingChanges() checks to tighten invariants
In these places we now assert if we attempt to record a change
during an active undo.
|
2024-10-07 16:50:45 -04:00 |
|
Slava Pestov
|
9115a46736
|
Sema: Record favored constraints in the trail
|
2024-10-07 16:50:45 -04:00 |
|
Slava Pestov
|
b2adf51d78
|
Sema: Record disabled constraints in the trail
|
2024-10-07 16:50:45 -04:00 |
|
Slava Pestov
|
411c590bc8
|
Sema: Record key path component types in the trail
|
2024-10-07 16:50:44 -04:00 |
|
Slava Pestov
|
7ea975015f
|
Sema: Record ASTNode types in the trail
|
2024-10-07 16:50:44 -04:00 |
|
Slava Pestov
|
3707e49f95
|
Merge pull request #76808 from slavapestov/cstrail-part-2
Continue migration from SolverScope to SolverTrail
|
2024-10-02 07:22:50 -04:00 |
|
Slava Pestov
|
3dc16a9f5b
|
Sema: Record defaulted constraints in the trail
|
2024-10-01 18:10:20 -04:00 |
|
Slava Pestov
|
fcd6bc04fd
|
Sema: Remove Solution::PackElementGenericEnvironments
|
2024-10-01 18:10:20 -04:00 |
|
Slava Pestov
|
0518b762d1
|
Sema: Record pack environments in the trail
|
2024-10-01 18:10:20 -04:00 |
|
Slava Pestov
|
f51bf3cf9d
|
Sema: Record pack expansion environments in the trail
|
2024-10-01 18:10:20 -04:00 |
|
Slava Pestov
|
9afb1a960b
|
Sema: Record opened pack expansion types in the trail
|
2024-10-01 18:10:20 -04:00 |
|
Slava Pestov
|
7d3350d0f2
|
Sema: Record opened existential types in the trail
|
2024-10-01 18:10:19 -04:00 |
|
Slava Pestov
|
f963f36a16
|
Sema: Record opened types in the trail
|
2024-10-01 18:10:19 -04:00 |
|
Slava Pestov
|
a9f392278f
|
Sema: Record argument matching choices in the trail
|
2024-10-01 18:10:18 -04:00 |
|
Slava Pestov
|
8b4a58fb02
|
Sema: Record applied disjunctions in the trail
|
2024-10-01 18:10:18 -04:00 |
|
Slava Pestov
|
8799596bed
|
Sema: Record disjunction choices in the trail
|
2024-10-01 18:10:18 -04:00 |
|
Slava Pestov
|
49487b8893
|
Sema: Record fixed requirements in the trail
|
2024-10-01 18:10:17 -04:00 |
|
Slava Pestov
|
106ab41d1d
|
Merge pull request #76742 from slavapestov/cstrail-part-1
Sema: Continue unwinding SolverScope
|
2024-10-01 12:36:13 -04:00 |
|