Santiago Pastorino 2f503345b4 Add Call terminator to SMIR		2023-04-20 12:00:41 -03:00
..
mir	Add Call terminator to SMIR	2023-04-20 12:00:41 -03:00
mir.rs	Implement a minimal subset of MIR statements and terminators for smir	2023-03-16 16:06:12 +00:00
mod.rs	Add a stable MIR way to get the main function	2023-04-14 07:28:56 +00:00