Code

Add a FacetValue instruction#4545

Code

Merged

josh11b merged 14 commits intocarbon-language:trunkcarbon-language/carbon-lang:trunkfrom josh11b:facetvaluejosh11b/carbon-lang:facetvalueCopy head branch name to clipboardNov 21, 2024

+11,099-10,476

Commits

Commits on Nov 16, 2024

• Checkpoint progress.

  josh11b

  committed
  be1ff89

  Copy full SHA for be1ff89

• Checkpoint progress.

  josh11b

  committed
  e320f21

  Copy full SHA for e320f21

• Checkpoint progress.

  josh11b

  committed
  e2c97ff

  Copy full SHA for e2c97ff

Commits on Nov 19, 2024

• Big update

  josh11b

  committed
  3365e06

  Copy full SHA for 3365e06

Commits on Nov 20, 2024

• Apply suggestions from code review

  Show description for 40adc39
  

  josh11b

  and

  zygoloid

  authored
  40adc39

  Copy full SHA for 40adc39

• Fix formatting

  josh11b

  committed
  f079e01

  Copy full SHA for f079e01

• Update testdata to reflect changes

  josh11b

  committed
  d605bf2

  Copy full SHA for d605bf2

Commits on Nov 21, 2024

• Apply suggestions from code review

  Show description for c905f2c
  

  josh11b

  and

  zygoloid

  authored
  c905f2c

  Copy full SHA for c905f2c

• TryEvalInst

  josh11b

  committed
  5d835e9

  Copy full SHA for 5d835e9

• Add test

  josh11b

  committed
  1371f33

  Copy full SHA for 1371f33

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

  josh11b

  committed
  4742557

  Copy full SHA for 4742557

• Fix merge error

  josh11b

  committed
  3034354

  Copy full SHA for 3034354

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

  josh11b

  committed
  c0e52ef

  Copy full SHA for c0e52ef

• Fix merge

  josh11b

  committed
  4c64d75

  Copy full SHA for 4c64d75