Code

Publish formality core#151

Code

Merged

nikomatsakis merged 8 commits intorust-lang:mainrust-lang/a-mir-formality:mainfrom nikomatsakis:publish-formality-corenikomatsakis/a-mir-formality-ndm:publish-formality-coreCopy head branch name to clipboardNov 2, 2023

+64-42

Commits

Commits on Nov 1, 2023

• upgrade to syn 2.x

  nikomatsakis

  committed
  92666ed

• rename to a-mir-formality

  Show description for bedab83
  nikomatsakis

  committed
  bedab83

• add a README and other metadata

  nikomatsakis

  committed
  d02a11a

• fix licensing

  nikomatsakis

  committed
  3bd128f

• make formality-core publishable

  nikomatsakis

  committed
  69cbd88

• avoid "*" dependencies

  nikomatsakis

  committed
  e2a8af9

• add a README

  nikomatsakis

  committed
  9320f16

Commits on Nov 2, 2023

• modify binary name in test runner

  nikomatsakis

  committed
  0b3ef4b