Code

Add basic types to SMIR#113412

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom

spastorino:smir-types-1spastorino/rust:smir-types-1Copy head branch name to clipboard

Jul 8, 2023

Commits

Commits on Jul 6, 2023

• Wrap SMIR bool and tuple into a Rigid variant

  spastorino

  committed
  284df9f

  Copy full SHA for 284df9f

Commits on Jul 7, 2023

• Add rustc_ty_to_ty basic tests

  spastorino

  committed
  61adcaf

  Copy full SHA for 61adcaf

• Add Char ty to SMIR

  spastorino

  committed
  73e816e

  Copy full SHA for 73e816e

• Add Int ty to SMIR

  spastorino

  committed
  458ead4

  Copy full SHA for 458ead4

• Add Uint ty to SMIR

  spastorino

  committed
  42eccff

  Copy full SHA for 42eccff

• Add Float ty to SMIR

  spastorino

  committed
  9ca51b9

  Copy full SHA for 9ca51b9