swiftlang/swift

Pull Requests Commits

[CSStep] Rework how splitter handles component steps

xedin committed 7 years ago

b7819e09

[CSStep] Fix a bug in `DisjunctionStep::resume` caused by was discarding active choice too early

xedin committed 7 years ago

fbaa3ad2

[CSStep] NFC: Add some more documentation to `Splitter` and `Component` steps

xedin committed 7 years ago

0d153702

[CSStep] Split `SolverStep::take(bool)` into `setup`, `take` and `resume`

xedin committed 7 years ago

fbabd0f5

[CSStep] Don't allocate scope if there is only one component

xedin committed 7 years ago

d2cc22a6

[CSStep] Implement `TypeVariable` step

xedin committed 7 years ago

2f10cf44

[CSStep] Add License header to `CSStep.cpp`

xedin committed 7 years ago

a935a65b

[CSStep] Add `Disjunction` step

xedin committed 7 years ago

8c32f81f

[CSStep] Rename `advance` to `take(bool)` and propagate failures

xedin committed 7 years ago

60699354

[CSStep] Add `StepResult` container

xedin committed 7 years ago

1037fd68

[ConstraintSystem] Add `Splitter`, `Component` and binding steps

xedin committed 7 years ago

05b1d72b

[CSStep] Implement `computeFollowupSteps`

xedin committed 7 years ago

bbf39166

[CSStep] Implement `mergePartialSolutions`

xedin committed 7 years ago

809778b3

[CSSolver] Add skeleton of iterative `solve`

xedin committed 7 years ago

8f6eccee

Another test fix for Linux

DougGregor committed 7 years ago

50e5eac7

Fixed typo in example code

flashspys committed 7 years ago

b2a245ba

[IRGen] Fix associated type resilience for 32-bit platforms.

DougGregor committed 7 years ago

570ae2b2

Adjust test for Linux

DougGregor committed 7 years ago

e639d66e

AST: SFINAE away template'd constructor

compnerd committed 7 years ago

796161a2

[ABI] Use associated type descriptors for generic parameter references.

DougGregor committed 7 years ago

7b0da897

[IRGen] Simplify nondependent associated type witness metadata accessors.

DougGregor committed 7 years ago

88150610

[ABI] Emit associated type witnesses resiliently.

DougGregor committed 7 years ago

82485192

[Runtime] Fix _ObjectiveCBridgeableWitnessTable::ObjectiveCType

DougGregor committed 7 years ago

4a6b78c1

[IRGen] Implement resilient associated type witness access pattern.

DougGregor committed 7 years ago

b327ba4b

[IRGen] witness_method should always refer to a slot in the witness table.

DougGregor committed 7 years ago

1d47084c

[ABI] Add protocol requirements base descriptor.

DougGregor committed 7 years ago

b21082df

[ABI] Emit associated type descriptors referencing each requirement.

DougGregor committed 7 years ago

0acf308f

Zero-initialize -Onone debug shadow copies for exploded values

adrian-prantl committed 7 years ago

ac54273e

[docs] Add "WIP" and "DNM" to Lexicon.rst (#19329)

jrose-apple committed 7 years ago

059a5add

Add scale test for nested type extension binding

slavapestov committed 7 years ago

139e08fc

Newer Older