Commits

Branch selector

 fe-v2

User selector

All users

All time

Commit History

Commits on Nov 6, 2023

• Merge pull request #931 from Y-Nak/trait-solve

  Show description for 4643ced
  sbillig

  authored
  4643ced

  Copy full SHA for 4643ced

Commits on Oct 11, 2023

• Doc work for `hir-analysis::ty` module

  Y-Nak

  committed
  f822ca2

  Copy full SHA for f822ca2

Commits on Oct 10, 2023

• Opt out cycle-related tests from wasm tests: ref https://github.com/ethereum/fe/issues/939

  Y-Nak

  committed
  3b17efb

  Copy full SHA for 3b17efb

Commits on Oct 9, 2023

• Remove unnecessary `Visitor` usage

  Y-Nak

  committed
  6da8ccf

  Copy full SHA for 6da8ccf

• Fix missing kind checks

  Y-Nak

  committed
  f49a638

  Copy full SHA for f49a638

• Add uitests for trait bound sat check

  Y-Nak

  committed
  5c62a9f

  Copy full SHA for 5c62a9f

• Improve error messages

  Y-Nak

  committed
  7974716

  Copy full SHA for 7974716

• Make clippy happy

  Y-Nak

  committed
  06cdd0a

  Copy full SHA for 06cdd0a

• Add `lower_trait_impl` tracked function

  Y-Nak

  committed
  b420bed

  Copy full SHA for b420bed

Commits on Oct 8, 2023

• Improve type alias cycle error message

  Y-Nak

  committed
  ddfa00f

  Copy full SHA for ddfa00f

• Allow partial application in type alias

  Y-Nak

  committed
  a3cc54b

  Copy full SHA for a3cc54b

Commits on Oct 7, 2023

• Ipmlement trait impl analysis in type level

  Y-Nak

  committed
  5e21f4f

  Copy full SHA for 5e21f4f

• Refactor adt analyzer

  Y-Nak

  committed
  390c6d4

  Copy full SHA for 390c6d4

Commits on Oct 6, 2023

• Add kind bound check in ty analysis

  Y-Nak

  committed
  c648d35

  Copy full SHA for c648d35

• Implement trait definition analysis in type level

  Y-Nak

  committed
  eb098e4

  Copy full SHA for eb098e4

• Implement type alias analysis in type level

  Y-Nak

  committed
  b459355

  Copy full SHA for b459355

• Implement Adt analysis in type level

  Y-Nak

  committed
  8cc0645

  Copy full SHA for 8cc0645

Commits on Oct 5, 2023

• Let salsa intern `TraitRef`

  Y-Nak

  committed
  c68da61

  Copy full SHA for c68da61

• Cleanup diag accumulations to make it easy to identify the functions being responsible for diag

  Y-Nak

  committed
  62c8881

  Copy full SHA for 62c8881

Commits on Oct 4, 2023

• Implement check for type bound satisfiability in type application

  Y-Nak

  committed
  4dd3617

  Copy full SHA for 4dd3617

• Implement a method to collect type constraints

  Y-Nak

  committed
  45478bf

  Copy full SHA for 45478bf

• Track pretty print fn for `TyId`

  Y-Nak

  committed
  f4d5b42

  Copy full SHA for f4d5b42

• Utilize `TyDiagCollection`

  Y-Nak

  committed
  42c7418

  Copy full SHA for 42c7418

• Implement `collect_adt_constraints`

  Y-Nak

  committed
  8ffbb12

  Copy full SHA for 8ffbb12

Commits on Oct 3, 2023

• Implement `TraitInst::pretty_print`

  Y-Nak

  committed
  a046b36

  Copy full SHA for a046b36

• Implement `TyId::pretty_print`

  Y-Nak

  committed
  c84ad70

  Copy full SHA for c84ad70

• Implement constraint collector and simplification

  Y-Nak

  committed
  6c545b8

  Copy full SHA for 6c545b8

Commits on Oct 2, 2023

• Implement `Unifiable` trait to provide simple API for unification

  Y-Nak

  committed
  b790023

  Copy full SHA for b790023

Commits on Oct 1, 2023

• Implement trait bound satisfiability solver

  Y-Nak

  committed
  df4b354

  Copy full SHA for df4b354

• Rename `LowerDiagCollection` to `TyDiagCollection`

  Y-Nak

  committed
  e1e32f9

  Copy full SHA for e1e32f9

• Implement `TraitEnv`

  Y-Nak

  committed
  02594a5

  Copy full SHA for 02594a5

Commits on Sep 30, 2023

• Implement super trait collector and verifications for cycle super traits

  Y-Nak

  committed
  b26abc0

  Copy full SHA for b26abc0

Commits on Sep 21, 2023

• Make clippy happy

  Y-Nak

  committed
  4c26dbf

  Copy full SHA for 4c26dbf

• Adapt to record variant kind

  Y-Nak

  committed
  1b0cd32

  Copy full SHA for 1b0cd32

• Add more global error codes

  Y-Nak

  committed
  466942f

  Copy full SHA for 466942f