11 Commits

Author	SHA1	Message	Date
Oli Scherer	5c6e2342f6	Encode types in SMIR	2023-05-08 14:23:19 +00:00
Oli Scherer	7f74ae57e8	Create a trait to abstract over the smir API	2023-05-08 14:23:04 +00:00
Santiago Pastorino	4b85bea4ae	Add Assert terminator to SMIR	2023-05-05 10:34:52 -03:00
Santiago Pastorino	7dd59fceef	Add Drop terminator to SMIR	2023-05-03 18:38:15 -03:00
Santiago Pastorino	2f503345b4	Add Call terminator to SMIR	2023-04-20 12:00:41 -03:00
Oli Scherer	e404e77c0b	Add a stable MIR way to get the main function	2023-04-14 07:28:56 +00:00
Pietro Albini	bf66ddbf24	fix wrong ignore condition	2023-04-03 10:23:13 +02:00
Oli Scherer	480e042097	Add Debug and Clone derives for stable mir datastructures	2023-03-16 16:17:25 +00:00
Oli Scherer	942cac1b8d	Implement a minimal subset of MIR statements and terminators for smir	2023-03-16 16:06:12 +00:00
Celina G. Val	5eaeb71b9f	Change item collection to be on demand	2023-03-07 12:47:25 -08:00
Celina G. Val	b66db7e4e0	Create new rustc_smir struct to map future crates ... + Add some information to the README.md	2023-03-06 21:57:46 -08:00