| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2023-08-07 | Add TraitDef::trait_decl method | Santiago Pastorino | -0/+6 |
| 2023-08-07 | Convert trait declaration to SMIR | Santiago Pastorino | -0/+21 |
| 2023-08-07 | Convert unsafety using the stable method and reuse mir::Safety | Santiago Pastorino | -8/+2 |
| 2023-08-06 | Add alocation to smir | ouz-a | -0/+22 |
| 2023-07-31 | add missing rvalues to smir | ouz-a | -1/+1 |
| 2023-07-26 | Add Bound ty to SMIR | Santiago Pastorino | -0/+7 |
| 2023-07-26 | Add Param ty to SMIR | Santiago Pastorino | -0/+7 |
| 2023-07-24 | Dynamic for smir | Eric Mark Martin | -0/+36 |
| 2023-07-22 | add Alias for smir | Eric Mark Martin | -0/+18 |
| 2023-07-20 | Add FnPtr ty to SMIR | Santiago Pastorino | -0/+79 |
| 2023-07-19 | Remove FIXMEs a lot of things need fixes | Santiago Pastorino | -2/+0 |
| 2023-07-19 | Add Generator to SMIR | Santiago Pastorino | -0/+10 |
| 2023-07-19 | Add Closure ty to SMIR | Santiago Pastorino | -0/+4 |
| 2023-07-19 | Add FnDef ty to SMIR | Santiago Pastorino | -0/+4 |
| 2023-07-19 | Rename SMIR AdtSubsts to GenericArgs | Santiago Pastorino | -2/+2 |
| 2023-07-18 | Add Never to SMIR | Santiago Pastorino | -0/+1 |
| 2023-07-18 | Add Foreign to SMIR | Santiago Pastorino | -0/+4 |
| 2023-07-17 | conversions to smir RawPtr and Ref | Eric Mark Martin | -6/+3 |
| 2023-07-17 | add RawPtr | Eric Mark Martin | -0/+3 |
| 2023-07-17 | move const definition | Eric Mark Martin | -0/+2 |
| 2023-07-13 | add str, slice, and array to smir types | Eric Mark Martin | -0/+3 |
| 2023-07-13 | Add Adt to SMIR | Santiago Pastorino | -1/+21 |
| 2023-07-07 | Add Float ty to SMIR | Santiago Pastorino | -0/+7 |
| 2023-07-07 | Add Uint ty to SMIR | Santiago Pastorino | -0/+11 |
| 2023-07-07 | Add Int ty to SMIR | Santiago Pastorino | -0/+11 |
| 2023-07-07 | Add Char ty to SMIR | Santiago Pastorino | -0/+1 |
| 2023-07-07 | Add rustc_ty_to_ty basic tests | Santiago Pastorino | -0/+2 |
| 2023-07-06 | Wrap SMIR bool and tuple into a Rigid variant | Santiago Pastorino | -0/+4 |
| 2023-05-08 | Encode types in SMIR | Oli Scherer | -0/+15 |
