Code

Verifiers#17

Code

Merged

j2kun merged 5 commits intomainj2kun/mlir-tutorial:mainfrom verifiersj2kun/mlir-tutorial:verifiersCopy head branch name to clipboardSep 12, 2023

+84-31

Commits

Commits on Sep 8, 2023

• Add qualified to the type assembly format

  Show description for 52ef4c1
  j2kun

  committed
  52ef4c1

  Copy full SHA for 52ef4c1

• Add SameOperandsAndResultType

  Show description for cf013a8
  j2kun

  committed
  cf013a8

  Copy full SHA for cf013a8

• add AllTypesMatch to EvalOp

  j2kun

  committed
  cf76949

  Copy full SHA for cf76949

Commits on Sep 9, 2023

• add a custom verifier for evalop

  j2kun

  committed
  59b9596

  Copy full SHA for 59b9596

Commits on Sep 11, 2023

• add verifier via trait

  j2kun

  committed
  d424613

  Copy full SHA for d424613