Code

ImplWitness#4679

Code

Draft

josh11b wants to merge 39 commits intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom josh11b:witnessjosh11b/carbon-lang:witnessCopy head branch name to clipboard

+103,764-5,387

Commits

Commits on Dec 11, 2024

• Checkpoint progress.

  josh11b

  committed
  af4dd98

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  cb6b124

Commits on Dec 12, 2024

• Checkpoint progress.

  josh11b

  committed
  21382af

• Checkpoint progress.

  josh11b

  committed
  bf409c7

Commits on Dec 13, 2024

• Checkpoint progress.

  josh11b

  committed
  e5b8232

• Back to having a specific_id in the ImplWitness instruction

  josh11b

  committed
  5d11fd9

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  dee9ba4

• Take a stab at eval

  josh11b

  committed
  086ea22

• Add error to eval

  josh11b

  committed
  97eca32

• Instruction in CHECK

  josh11b

  committed
  e67afce

• Dependent instruction in CHECK

  josh11b

  committed
  56b7202

• Autoupdate what doesn't crash

  josh11b

  committed
  b7c60d7

• More autoupdate

  josh11b

  committed
  297cb82

Commits on Dec 14, 2024

• Seem to have made things worse

  josh11b

  committed
  de8bc24

• Identify broken check tests, update non-broken

  josh11b

  committed
  fabcbde

• UNDO debug prints

  josh11b

  committed
  3cde8ea

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  79b5558

Commits on Dec 17, 2024

• Checkpoint progress.

  josh11b

  committed
  e5d552b

• Some FIXMEs

  josh11b

  committed
  a402c97

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  ad495c6

• Checkpoint progress.

  josh11b

  committed
  28807fc

• Checkpoint progress.

  josh11b

  committed
  5bc875f

• Test updates

  josh11b

  committed
  20a843f

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  8c2f6be

• Fix in eval

  josh11b

  committed
  4961945

• Fix importing

  josh11b

  committed
  fc280cd

• autoupdate

  josh11b

  committed
  6f8099d

• Improve diagnostics

  josh11b

  committed
  6fa1e74

Commits on Dec 18, 2024

• Checkpoint progress.

  josh11b

  committed
  bf6f4ab

• Better missing impl definition diagnostic

  josh11b

  committed
  1cbd7a0

• Fewer diagnostics on cross import redeclaration

  josh11b

  committed
  0d98714

• Relax lowering check

  josh11b

  committed
  b1c9359

• Checkpoint progress.

  josh11b

  committed
  f8419c5

• Checkpoint progress.

  josh11b

  committed
  1701022

Commits on Dec 19, 2024

• Middle of debugging

  josh11b

  committed
  51f9826

Commits on Dec 20, 2024

• Checkpoint progress.

  josh11b

  committed
  085c7b2

• Merge remote-tracking branch 'upstream/trunk' into witness

  josh11b

  committed
  9dbb3c9

Commits on Dec 21, 2024

• Workaround for bug

  josh11b

  committed
  9890606

Commits on Dec 23, 2024

• Checkpoint progress.

  josh11b

  committed
  141f337