Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 31, 2025

• record boring locals in polonius context

  Show description for 6ce46a8
  lqd

  committed
  6ce46a8

  Copy full SHA for 6ce46a8

• create context for errors and diagnostics for last borrowck phase

  lqd

  committed
  a8fc140

  Copy full SHA for a8fc140

• split polonius context into per-phase data

  Show description for 6054a33
  lqd

  committed
  6054a33

  Copy full SHA for 6054a33

Commits on Jan 17, 2025

• encode `Locations::All` typeck constraints as logical edges

  Show description for dee52a3
  lqd

  committed
  dee52a3

  Copy full SHA for dee52a3

Commits on Jan 12, 2025

• replace location-insensitive analysis with location-sensitive analysis

  Show description for 67a1bb1
  lqd

  committed
  67a1bb1

  Copy full SHA for 67a1bb1

• introduce reachability to the constraint graph

  lqd

  committed
  0c978bc

  Copy full SHA for 0c978bc

Commits on Jan 1, 2025

• localize typeck constraints

  Show description for 46154b2
  lqd

  committed
  46154b2

  Copy full SHA for 46154b2

• move typeck constraints conversion to its own module

  lqd

  committed
  eb7da16

  Copy full SHA for eb7da16

Commits on Dec 29, 2024

• liveness constraints: draw the rest of the owl

  lqd

  committed
  93527d2

  Copy full SHA for 93527d2

• finish filling polonius context

  Show description for 6e88db9
  lqd

  committed
  6e88db9

  Copy full SHA for 6e88db9

• add variance recording

  Show description for de049e6
  lqd

  committed
  de049e6

  Copy full SHA for de049e6

• introduce polonius context

  Show description for 42f28cb
  lqd

  committed
  42f28cb

  Copy full SHA for 42f28cb

Commits on Dec 18, 2024

• address review comments

  Show description for aeb3d10
  lqd

  committed
  aeb3d10

  Copy full SHA for aeb3d10

• introduce beginnings of polonius MIR dump

  Show description for c75c517
  lqd

  committed
  c75c517

  Copy full SHA for c75c517

• set up skeleton for localized constraints conversion

  lqd

  committed
  e7fb93b

  Copy full SHA for e7fb93b

• add general documentation on the polonius module

  Show description for a5f0591
  lqd

  committed
  a5f0591

  Copy full SHA for a5f0591

• introduce localized outlives constraints

  Show description for b70a915
  lqd

  committed
  b70a915

  Copy full SHA for b70a915

Commits on Dec 14, 2024

• move datalog fact generation into a legacy module

  lqd

  committed
  b0e04d5

  Copy full SHA for b0e04d5

Commits on Nov 19, 2024

• Clean up `UniversalRegions`.

  Show description for 952c6d5
  nnethercote

  committed
  952c6d5

  Copy full SHA for 952c6d5

Commits on Aug 30, 2024

• Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.

  nnethercote

  committed
  67556ec

  Copy full SHA for 67556ec

Commits on Jun 5, 2024

• Remove confusing `use_polonius` flag and do less cloning

  Show description for 7b5b7a7
  amandasystems

  committed
  7b5b7a7

  Copy full SHA for 7b5b7a7

Commits on May 20, 2024

• Uplift RegionVid

  compiler-errors

  committed
  569fb43

  Copy full SHA for 569fb43

Commits on Nov 26, 2023

• move remaining legacy polonius fact generation out of NLL module

  lqd

  committed
  f969af2

  Copy full SHA for f969af2

• small polish of loan invalidations fact generation

  lqd

  committed
  c976bc1

  Copy full SHA for c976bc1

• rename polonius constraint generation to what it actually does: emit loan kills

  lqd

  committed
  951901b

  Copy full SHA for 951901b

• simplify polonius constraint generation

  lqd

  committed
  bfd88b0

  Copy full SHA for bfd88b0

• remove NLL liveness from polonius constraint generation

  lqd

  committed
  f53412a

  Copy full SHA for f53412a

• extract polonius "constraint generation"

  Show description for 9f14698
  lqd

  committed
  9f14698

  Copy full SHA for 9f14698

• extract polonius loan invalidations fact generation

  Show description for 16a5da7
  lqd

  committed
  16a5da7

  Copy full SHA for 16a5da7

Loading