Mon, 13 May 2013 13:15:42 +0200 |
Gilles Duboscq |
Merge
|
Mon, 13 May 2013 11:44:49 +0200 |
Gilles Duboscq |
Make PiNode a guarding node so that it can be used for guarded to guarding edges
|
Fri, 10 May 2013 18:28:30 +0200 |
Gilles Duboscq |
Removed ValueNode.dependencies
|
Fri, 10 May 2013 18:17:58 +0200 |
Gilles Duboscq |
Allow interface types for node edges
|
Fri, 10 May 2013 17:15:15 +0200 |
Gilles Duboscq |
Use specialized node inputs for loopbegin's overflow check and for value anchor's anchored values
|
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
|
Fri, 10 May 2013 21:03:53 +0200 |
Bernhard Urban |
Value: tidy up generated `hashCode()' and `equals()' methods a bit
|
Fri, 10 May 2013 23:27:19 +0200 |
Doug Simon |
made unittest command take Java compliance of a project into account
|
Fri, 10 May 2013 16:40:59 +0200 |
Bernhard Urban |
Value: more occurrences of object equality replaced
|
Fri, 10 May 2013 16:31:44 +0200 |
Bernhard Urban |
JUnitWrapper: print class name if only one testclass is executed
|