swiftlang/swift

Pull Requests Commits

[AST] Don't lose the parent type in setUnderlyingType.

Davide Italiano committed 6 years ago

3a92746a

AST: remove extra copy constructors

compnerd committed 6 years ago

ba825c86

Resolve two crashers and fix a test issue on Linux.

DougGregor committed 6 years ago

7ced398f

[SIL Parser] Handle parsing of ‘Self’ in default witness tables.

DougGregor committed 6 years ago

09927261

[ABI] Add default associated type witnesses to resilient protocols.

DougGregor committed 6 years ago

63fa6b3b

[SIL] Unify default witness table entries with witness table entries.

DougGregor committed 6 years ago

c868e05f

[AST] Kill rarely-used DenseMap from ProtocolDecl.

DougGregor committed 6 years ago

eb8a7672

SILGen: Change PreparedArguments to use an array of AnyFunctionType::Param

slavapestov committed 6 years ago

32af53cb

SILGen: Move usages of AbstractionPattern::getFunctionInputType() closer to their uses

slavapestov committed 6 years ago

4629b2cc

SILGen: Remove ArgumentSource::rewriteType()

slavapestov committed 6 years ago

9d6dd17b

SILGen: Remove ArgumentSource::Kind::Tuple

slavapestov committed 6 years ago

4da1aad2

SILGen: Rename ArgumentSource::requiresCalleeToEvaluate() to ArgumentSource::isShuffle()

slavapestov committed 6 years ago

0cbefab1

SILGen: Remove dead code from Swift 3 removal

slavapestov committed 6 years ago

942bb6f9

[CSStep] Add `isDebugMode` and `getDebugLogger` methods and refactor logging

xedin committed 6 years ago

e2d2955c

[ConstraintSystem] Integrate emergency break into iterative solver loop

xedin committed 6 years ago

4df47f95

[ConstraintSystem] Remove unnecessary forward declarations of the steps

xedin committed 6 years ago

df447d72

[CSStep/TypeVar] Check if loop should be stopped even if current binding has failed

xedin committed 6 years ago

8c265e1c

[ConstraintSystem] Remove recursive solver algorithm and related logic

xedin committed 6 years ago

a928c78a

[ConstraintSystem] Rename `solveIteratively` to `solve` and start using it

xedin committed 6 years ago

2d963760

[CSStep] Use # of disjunctions directly to determine component ordering

xedin committed 6 years ago

f8743443

[CSStep] Record all of the type vars related to component while creating a split

xedin committed 6 years ago

2a05aeca

[CSStep] Filter solutions only if component is part of a large split

xedin committed 6 years ago

580df6eb

[CSStep] Try to simplify constraint system before performing split

xedin committed 6 years ago

cfda3a7b

[CSStep] Rework how orphaned constraints are handled by splitter/component steps

xedin committed 6 years ago

63fe3dcf

[CSStep] Include related and bound type variables as "in scope"

xedin committed 6 years ago

26f3f216

[DisjunctionStep] Start remembering choices when requested

xedin committed 6 years ago

41c4f64c

[CSStep] If previous step before split failed don't do anything

xedin committed 6 years ago

bcf38170

[CSStep] Restore original best score after component is done

xedin committed 6 years ago

4bbe6414

[CSStep] Make sure that components are sorter before execution

xedin committed 6 years ago

9958fb04

[CSStep] Add `print(llvm::raw_ostream)` method to `SolverStep`

xedin committed 6 years ago

4ca83449

Older