Commits

Breadcrumbs

History for

on70266b5

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 17, 2022

• Improve indentation in debugging output

  abdulowork

  committed
  3f36694

  Copy full SHA for 3f36694

Commits on Sep 13, 2022

• [ConstraintGraph] Correct dis/conjunction indents.

  

  Amritpan Kaur

  committed
  a4a7207

  Copy full SHA for a4a7207

Commits on Aug 21, 2022

• [ConstraintGraph] Collect and print changes in current Active Scope.

  

  Amritpan Kaur

  committed
  01ea11b

  Copy full SHA for 01ea11b

Commits on Aug 10, 2022

• [ConstraintSystem] Refactor solver state depth to its own function for easier indent editing in future.

  

  Amritpan Kaur

  committed
  fd41a39

  Copy full SHA for fd41a39

Commits on Apr 20, 2022

• Spelling sema (#42474)

  Show description for 4c77c59
  jsoref

  authored
  4c77c59

  Copy full SHA for 4c77c59

Commits on Aug 6, 2021

• [ConstraintSystem] Don't attempt to rollback state and scope from incorrect state

  xedin

  committed
  6a85650

  Copy full SHA for 6a85650

Commits on Jun 9, 2021

• [ConstraintGraph] Don't notify referenced var if constraint is not useful

  Show description for 7e022b2
  xedin

  committed
  7e022b2

  Copy full SHA for 7e022b2

• [ConstraintGraph] NFC: Remove commented code from {introduceTo, retractFrom}Inference

  xedin

  committed
  5fd722c

  Copy full SHA for 5fd722c

Commits on Jun 7, 2021

• [ConstraintGraph] Remove flags from inference methods

  Show description for 12e9686
  xedin

  committed
  12e9686

  Copy full SHA for 12e9686

• [ConstraintGraph] Extract logic to notify referenced variable into a dedicated method

  xedin

  committed
  d4cb756

  Copy full SHA for d4cb756

Commits on Apr 24, 2021

• [ConstraintGraph] Fix typo

  Show description for 2d702b8
  eltociear

  authored
  2d702b8

  Copy full SHA for 2d702b8

Commits on Mar 3, 2021

• Merge pull request #36220 from xedin/optimize-edge-contraction

  Show description for 109a33c
  xedin

  authored
  109a33c

  Copy full SHA for 109a33c

Commits on Mar 2, 2021

• [ConstraintGraph] NFC: Convert `shouldContractEdge` into a closure since it's only used by `contractEdges`

  xedin

  committed
  c5695c2

  Copy full SHA for c5695c2

• [ConstraintGraph] Optimize edge contraction

  Show description for 0cc0a3a
  xedin

  committed
  0cc0a3a

  Copy full SHA for 0cc0a3a

Commits on Mar 1, 2021

• [ConstraintGraph] Don't propagate to referenced vars

  Show description for ca16c37
  xedin

  committed
  ca16c37

  Copy full SHA for ca16c37

• [ConstraintSystem] Delay inference until let's clear that type variable attempt is successful

  Show description for b487b69
  xedin

  committed
  b487b69

  Copy full SHA for b487b69

• [ConstraintGraph] Extract logic related to fixed types into dedicated methods on graph node

  xedin

  committed
  166c41d

  Copy full SHA for 166c41d

Commits on Feb 24, 2021

• [ConstraintGraph] NFC: Refactor {un}bindTypeVariable to remove unnecessary nesting

  xedin

  committed
  bcb3da0

  Copy full SHA for bcb3da0

• [ConstraintGraph] NFC: Clarify names of inference APIs and add comments

  xedin

  committed
  5c623eb

  Copy full SHA for 5c623eb

• [ConstraintGraph] Make binding inference more incremental and stop resetting bindings

  xedin

  committed
  1de0764

  Copy full SHA for 1de0764

• [ConstraintSystem] Implement incremental binding computation

  xedin

  committed
  fbc11f4

  Copy full SHA for fbc11f4

• [ConstraintGraph] Track constraint graph and type variable belonging to the node

  xedin

  committed
  9372215

  Copy full SHA for 9372215

• [ConstraintGraph] NFC: Add a equivalence class truncation callback to graph node

  Show description for f9b58a7
  xedin

  committed
  f9b58a7

  Copy full SHA for f9b58a7

• [ConstraintGraph] Track bound type variables regardless of presence of other vars

  xedin

  committed
  3e45980

  Copy full SHA for 3e45980

• [ConstraintGraph] Start inferring bindings incrementally

  Show description for 202a9de
  xedin

  committed
  202a9de

  Copy full SHA for 202a9de

Commits on Feb 19, 2021

• [ConstraintGraph] Split fixed binding storage into referenced by/from

  Show description for 8137c7b
  xedin

  committed
  8137c7b

  Copy full SHA for 8137c7b

Commits on Feb 17, 2021

• [CSBindings] NFC: Refactor some of the repetitive uses of type variable in graph node

  xedin

  committed
  4ef7a2d

  Copy full SHA for 4ef7a2d

Commits on Jan 27, 2021

• [AST] Adjust `TypeBase::getTypeVariables` to accept a set

  Show description for b03dc63
  xedin

  committed
  b03dc63

  Copy full SHA for b03dc63

Commits on Dec 23, 2020

• AST: Split off DependencyCollector.h from EvaluatorDependencies.h

  Show description for e675bee
  slavapestov

  committed
  e675bee

  Copy full SHA for e675bee

Commits on Nov 16, 2020

• Merge pull request #34737 from xedin/potential-bindings-refactor

  Show description for 094ca80
  xedin

  authored
  094ca80

  Copy full SHA for 094ca80

Commits on Nov 11, 2020

• [ConstraintSystem] Determine whether type variable is a hole on demand

  xedin

  committed
  6a7cc79

  Copy full SHA for 6a7cc79

Commits on Nov 9, 2020

• [NFC][ConstraintGraph] Address fixme and switch CG::Component dependencies type to SmallVector<unsigned>

  LucianoPAlmeida

  committed
  72b594b

  Copy full SHA for 72b594b

Commits on Oct 8, 2020

• [ConstraintSystem] NFC: Move `ConstraintSystem.h` to `include/swift/Sema`

  xedin

  committed
  461eaff

  Copy full SHA for 461eaff

• [ConstraintSystem] NFC: Move `ConstraintGraph{Scope}.h` to `include/swift/Sema`

  xedin

  committed
  ab951c2

  Copy full SHA for ab951c2

Commits on Jul 22, 2020

• [Constraint system] Limit edge contraction to BindParam.

  Show description for fb95c7d
  DougGregor

  committed
  fb95c7d

  Copy full SHA for fb95c7d

Pagination

Previous

Next