Mercurial > hg > truffle
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 |