Commits

Breadcrumbs

History for

onba4190c

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 5, 2025

• change definitely non-productive cycles to error

  lcnr

  committed
  01795b1

  Copy full SHA for 01795b1

Commits on Jan 30, 2025

• introduce `ty::Value`

  Show description for 10fc0b1
  

  Lukas Markeffsky

  and

  FedericoBruzzone

  committed
  10fc0b1

  Copy full SHA for 10fc0b1

Commits on Jan 22, 2025

• Use `structurally_normalize` instead of manual `normalizes-to` goals

  BoxyUwU

  committed
  513bfaa

  Copy full SHA for 513bfaa

Commits on Dec 18, 2024

• update new solver candidate assembly

  lcnr

  committed
  d5a0c5c

  Copy full SHA for d5a0c5c

Commits on Nov 28, 2024

• support revealing defined opaque post borrowck

  lcnr

  committed
  34a8c2d

  Copy full SHA for 34a8c2d

Commits on Nov 12, 2024

• Consolidate type system const evaluation under `traits::evaluate_const`

  Show description for bea0148
  BoxyUwU

  committed
  bea0148

  Copy full SHA for bea0148

Commits on Oct 24, 2024

• Implement const effect predicate in new solver

  compiler-errors

  committed
  cde29b9

  Copy full SHA for cde29b9

• Remove associated type based effects logic

  compiler-errors

  committed
  a16d491

  Copy full SHA for a16d491

Commits on Oct 19, 2024

• Fix transmute goal

  compiler-errors

  committed
  9453d2c

  Copy full SHA for 9453d2c

Commits on Oct 17, 2024

• move `defining_opaque_types` out of `Canonical`

  lcnr

  committed
  3360c17

  Copy full SHA for 3360c17

Commits on Oct 11, 2024

• remove outdated FIXMEs

  lcnr

  committed
  5fd7be9

  Copy full SHA for 5fd7be9

Commits on Oct 10, 2024

• impossible obligations check fast path

  

  lcnr

  authored and

  compiler-errors

  committed
  d6fd45c

  Copy full SHA for d6fd45c

Commits on Sep 25, 2024

• Compiler: Rename "object safe" to "dyn compatible"

  fmease

  committed
  01a063f

  Copy full SHA for 01a063f

Commits on Sep 2, 2024

• chore: Fix typos in 'compiler' (batch 2)

  Sajjon

  committed
  00de006

  Copy full SHA for 00de006

Commits on Jul 9, 2024

• exhaustively destructure external constraints

  lcnr

  committed
  7097dbc

  Copy full SHA for 7097dbc

Commits on Jun 25, 2024

• Rename tcx to cx

  compiler-errors

  committed
  275d922

  Copy full SHA for 275d922

Commits on Jun 24, 2024

• Replace Deref bounds on Interner in favor of a SliceLike trait

  compiler-errors

  committed
  24e41f1

  Copy full SHA for 24e41f1

Commits on Jun 21, 2024

• Rename a bunch of things

  compiler-errors

  committed
  db638ab

  Copy full SHA for db638ab

Commits on Jun 18, 2024

• Explicitly import tracing macros

  compiler-errors

  committed
  fb6f4b4

  Copy full SHA for fb6f4b4

• Uplift the new trait solver

  compiler-errors

  committed
  532149e

  Copy full SHA for 532149e

Loading