swiftlang/swift

Pull Requests Commits

[ConstraintSystem] Make sure that invalid state is always diagnosed via fallback diagnostic

xedin committed 4 years ago

f83c7199

RequirementMachine: PropertyMap can use Terms instead of MutableTerms as keys

slavapestov committed 4 years ago

9738d4ee

RequirementMachine: Speed up PropertyMap lookups with a suffix trie

slavapestov committed 4 years ago

47fc3d87

RequirementMachine: Parametrize Trie by value type and add support for longest-suffix match

slavapestov committed 4 years ago

776a0889

Merge pull request #38766 from hborla/wrapped-argument-conversions

hborla committed 4 years ago

Verified 9f71ee1b

[CSStep] Don't abort upon discovering constraint system in an invalid state

xedin committed 4 years ago

48d49978

[ConstraintSystem] Add `InvalidState` flag to indicate that any attempt to solve should fail

xedin committed 4 years ago

d8cdbcd0

Merge pull request #38736 from mshockwave/dev-sil-diexpr-optimize

mshockwave committed 4 years ago

Verified c3390ecb

Merge pull request #38775 from slavapestov/requirement-machine-trie

slavapestov committed 4 years ago

Verified 2a83e6bb

[Dependency Scanning] Split the ModuleDependencyCache into two: current scan cache & global.

artemcm committed 4 years ago

94291361

Merge pull request #38771 from DougGregor/task-group-non-throwing-next-result

DougGregor committed 4 years ago

Verified 6b72c826

[Serialization] Check for anchoring VarDecl when serializing PDB

bnbarham committed 4 years ago

69a5a3d3

[SourceKit] Suppress oslog_invalid_log_message diagnostic in live issues

bnbarham committed 4 years ago

f6899eda

Merge pull request #38767 from DougGregor/foreign-async-hop-back

DougGregor committed 4 years ago

Verified 0fbe1718

[Serialization] Properly skip invalid destructors when allowing errors

bnbarham committed 4 years ago

462ce058

Merge pull request #38774 from DougGregor/objc-import-block-without-prototype

swift-ci committed 4 years ago

Verified a7586fb0

RequirementMachine: Speed up term simplification with a prefix trie

slavapestov committed 4 years ago

156fa2cc

RequirementMachine: Fix a typo in a comment

slavapestov committed 4 years ago

324b83d4

RequirementMachine: Iterate over a vector in reverse, instead of reversing it first

slavapestov committed 4 years ago

64330f5e

RequirementMachine: Fix subtle corner case where we could insert duplicate rewrite rules

slavapestov committed 4 years ago

65f27d3a

RequirementMachine: Make Symbols hashable

slavapestov committed 4 years ago

bc398ae1

RequirementMachine: Rules store uniqued Terms

slavapestov committed 4 years ago

92ac06a2

RequirementMachine: Add histograms for symbol kinds and term length

slavapestov committed 4 years ago

ed966e73

RequirementMachine: Add -analyze-requirement-machine flag to print statistics

slavapestov committed 4 years ago

5f298a81

RequirementMachine: Add a simple Histogram data structure

slavapestov committed 4 years ago

b7c4d820

RequirementMachine: Superclass and concrete type symbols should not contain type variables

slavapestov committed 4 years ago

fb5d180a

RequirementMachine: Split off Symbol.cpp and Term.cpp from RewriteSystem.cpp

slavapestov committed 4 years ago

7adfd86e

Merge pull request #38763 from slavapestov/ban-generic-signatures-with-type-variables

slavapestov committed 4 years ago

Verified 894b1bad

Merge pull request #38769 from gottesmm/pr-b89358c8a643806e06a6aaa2b1181d3ba3ac9b93

gottesmm committed 4 years ago

Verified eb93dea8

Mark legacy overloads of &+ and &- unavailable. (#38723)

stephentyrone committed 4 years ago

Verified a3ba5178

Newer Older