log

age author description
Mon, 05 May 2014 21:23:25 +0200 Miguel Garcia Merge
Mon, 05 May 2014 17:45:20 +0200 Miguel Garcia [flow-sensitive] too many type-refinements didn't improve performance
Mon, 05 May 2014 17:06:02 +0200 Miguel Garcia [flow-sensitive] readability, baseCaseIsNullNode
Mon, 05 May 2014 16:59:02 +0200 Miguel Garcia [flow-sensitive] fix in knownNotToConform
Mon, 05 May 2014 18:45:03 +0200 Lukas Stadler Merge (gate: make unittests verbose)
Mon, 05 May 2014 18:40:13 +0200 Lukas Stadler Merge (made FloatRemNode implement Lowerable)
Mon, 05 May 2014 18:39:29 +0200 Lukas Stadler Merge ([flow-sensitive] refactoring, factor out evidence-search)