log

age author description
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