log

age author description
Mon, 19 May 2014 16:45:11 +0200 Miguel Garcia [inlining-4] one less alias in getTypeCheckedInlineInfo()
Mon, 19 May 2014 16:34:38 +0200 Miguel Garcia [inlining-4] one less alias in getAssumptionInlineInfo()
Mon, 19 May 2014 16:32:02 +0200 Miguel Garcia [inlining-4] one less alias in getExactInlineInfo()