Commits

Branch selector

 succinct

User selector

lcnr

Datepicker

All time

Commit History

Commits on Nov 27, 2023

• only free lifetimes may get erased

  Show description for 271143a
  

  lcnr

  authored and

  cuviper

  committed
  271143a

  Copy full SHA for 271143a

Commits on Nov 8, 2023

• update mir-opt tests

  lcnr

  committed
  92267c9

  Copy full SHA for 92267c9

• rename BorrowKind::Shallow to Fake

  Show description for 992d93f
  lcnr

  committed
  992d93f

  Copy full SHA for 992d93f

• generator layout: ignore fake borrows

  lcnr

  committed
  a42eca4

  Copy full SHA for a42eca4

• instrument constituent types computation

  lcnr

  committed
  bf360d4

  Copy full SHA for bf360d4

Commits on Nov 2, 2023

• review + add tests

  lcnr

  committed
  dda5e32

  Copy full SHA for dda5e32

• only erase param env regions where needed

  lcnr

  committed
  a582e96

  Copy full SHA for a582e96

• dropck_outlives check generator witness needs_drop

  lcnr

  committed
  5725355

  Copy full SHA for 5725355

• remove outdated comment

  lcnr

  committed
  f0df3d2

  Copy full SHA for f0df3d2

• use global cache when computing proof trees

  lcnr

  committed
  15ae59b

  Copy full SHA for 15ae59b

Commits on Oct 31, 2023

• prepopulate opaque ty storage before using it :>

  lcnr

  committed
  078144e

  Copy full SHA for 078144e

Commits on Oct 18, 2023

• AliasTy::new instead of tcx method

  lcnr

  committed
  d9dc5ee

  Copy full SHA for d9dc5ee

• AliasTy::new instead of tcx method

  lcnr

  committed
  306a7ea

  Copy full SHA for 306a7ea

Commits on Oct 13, 2023

• explicitly handle auto trait leakage in coherence

  lcnr

  committed
  1bc6ae4

  Copy full SHA for 1bc6ae4

Commits on Oct 10, 2023

• reorder files in solve

  lcnr

  committed
  c70ef36

  Copy full SHA for c70ef36

Commits on Oct 2, 2023

• skip_binder to instantiate_identity

  lcnr

  committed
  dbc2cc8

  Copy full SHA for dbc2cc8

Commits on Sep 29, 2023

• specialization: use clause

  lcnr

  committed
  aac29a0

  Copy full SHA for aac29a0

• a small wf and clause cleanup

  lcnr

  committed
  a4f6770

  Copy full SHA for a4f6770

Commits on Sep 26, 2023

• subst -> instantiate

  lcnr

  committed
  159293c

  Copy full SHA for 159293c

• subst -> instantiate

  lcnr

  committed
  f2efdba

  Copy full SHA for f2efdba

• subst -> instantiate

  lcnr

  committed
  3c52a3e

  Copy full SHA for 3c52a3e

Commits on Sep 21, 2023

• review

  lcnr

  committed
  614760f

  Copy full SHA for 614760f

• w

  lcnr

  committed
  8167a25

  Copy full SHA for 8167a25

• slight refactor, add comment

  lcnr

  committed
  8e139ee

  Copy full SHA for 8e139ee

• HACK: avoid hang in structurally_normalize

  lcnr

  committed
  8024c69

  Copy full SHA for 8024c69

• update tests

  lcnr

  committed
  8eade3a

  Copy full SHA for 8eade3a

• proof trees: use for intercrate_ambiguity_causes

  lcnr

  committed
  de53877

  Copy full SHA for de53877

Commits on Sep 18, 2023

• remove provisional cache

  lcnr

  committed
  e8b8ddd

  Copy full SHA for e8b8ddd

Commits on Sep 14, 2023

• differentiate root and nested goals

  lcnr

  committed
  0cb800e

  Copy full SHA for 0cb800e

• inspect: explicitly store added goals

  lcnr

  committed
  1b141b6

  Copy full SHA for 1b141b6

• order added_goals_evaluation and nested_probes

  lcnr

  committed
  a3f9530

  Copy full SHA for a3f9530

• GoalCandidate to Probe

  lcnr

  committed
  be9d7e0

  Copy full SHA for be9d7e0

Commits on Sep 11, 2023

• dedup GoalEvaluationStep and GoalCandidate

  Show description for eac55ee
  lcnr

  committed
  eac55ee

  Copy full SHA for eac55ee

• inspect: strongly typed CandidateKind

  lcnr

  committed
  8225a2e

  Copy full SHA for 8225a2e

• revision -> iteration for added_goals_evaluation

  lcnr

  committed
  006d599

  Copy full SHA for 006d599

Pagination

Previous

Next