log

age author description
Fri, 10 May 2013 16:48:00 +0200 Gilles Duboscq In TailDuplication phase, replaced phi values users should not need to be anchored
Mon, 13 May 2013 11:38:19 +0200 Bernhard Urban Value: replaced more occurrences where object equality is used
Mon, 13 May 2013 11:36:09 +0200 Bernhard Urban verification: add VerifyPhase. check if a `Value' object is used in an ObjectEqualsNode