log

age author description
Mon, 07 Jul 2014 20:27:20 -0700 Tom Rodriguez ensure instanceof and null check stay dependent
Mon, 07 Jul 2014 20:26:31 -0700 Tom Rodriguez don't forget to record assumptions
Mon, 07 Jul 2014 17:43:27 -0700 Tom Rodriguez use findUniqueConcreteSubtype in InstanceOfNode
Mon, 07 Jul 2014 11:54:49 -0700 Tom Rodriguez eliminate JUnitWrapper
Mon, 07 Jul 2014 11:53:25 -0700 Tom Rodriguez adjust comment
Mon, 07 Jul 2014 14:51:53 +0200 Doug Simon mx: classpath function now accepts distributions as well (which are prepend to the class path)
Mon, 07 Jul 2014 12:16:36 +0200 Lukas Stadler return null if phase is not found in PhaseSuite.findPhase