Code

Mover CheckerConfig to Infer#950

Code

Merged

nilehmann merged 9 commits intomainflux-rs/flux:mainfrom nico/move-checker-config-to-inferflux-rs/flux:nico/move-checker-config-to-inferCopy head branch name to clipboardDec 17, 2024

+347-368

Commits

Commits on Dec 16, 2024

• Always create InferCtxtRoot

  nilehmann

  committed
  4b50237

  Copy full SHA for 4b50237

• Do not Deref to RefineCtxt

  nilehmann

  committed
  9fcad08

  Copy full SHA for 9fcad08

• Make InferCtxtRootBuilder

  nilehmann

  committed
  701c0ba

  Copy full SHA for 701c0ba

• Use check_overflow from InferCtxt to assume invariants

  nilehmann

  committed
  c9b1a1f

  Copy full SHA for c9b1a1f

Commits on Dec 17, 2024

• Put scrape_quals inside InferCtxt

  nilehmann

  committed
  4ca8abd

  Copy full SHA for 4ca8abd

• Put scrape_quals inside InferCtxt

  nilehmann

  committed
  0da4ede

  Copy full SHA for 0da4ede

• clippy

  nilehmann

  committed
  1067823

  Copy full SHA for 1067823

• Merge branch 'main' into nico/move-checker-config-to-infer

  ranjitjhala

  authored
  79810c5

  Copy full SHA for 79810c5

• fix merge bug

  ranjitjhala

  committed
  5275bd9

  Copy full SHA for 5275bd9