feat: Adding the integer conversion operations to the llvm dialect

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

Closed lfrenot closed 1 week ago

tobiasgrosser commented 1 week ago

Nice. I guess we need to fix ci and maybe drop the commented icmp stuff.

github-actions[bot] commented 1 week ago

Alive Statistics: 89 / 93 (4 failed)