Mario Lezcano Casado issues

Repositories
Issues
Comments

Results 23 issues of


                                            Mario Lezcano Casado

[BACKEND] Gluon multicta + 2cta support

We generalise the mmav5 lowering to support this case. When doing this, we also lower commit using a 32b register rather than a 64b, following the docs + the way...

[TMEM] Fix missing log2 in 32x32b_split and fix the error message

[GLUON] Implement `print_layout`

We do not want to expose layouts in gluon but we want to expose encodings. That being said, we do want to offer the user a way to look at...