Add explicit tail calls to Clight and C#minor#422

Open

xavierleroy wants to merge 2 commits intomasterfrom clight-tailcalls

+173-52

Commits on Nov 12, 2021

Add explicit tail calls to Clight and to C#minor
xavierleroy
committed

Commits on Nov 18, 2021

Update clightgen to handle tail calls
xavierleroy
committed