Wed, 25 Jun 2014 16:54:56 +0200 |
Lukas Stadler |
implement Canonicalizable.Binary in the BinaryNode hierarchy
|
Wed, 25 Jun 2014 16:35:17 +0200 |
Lukas Stadler |
implement Canonicalizable.Unary in the UnaryNode hierarchy
|
Wed, 25 Jun 2014 16:35:17 +0200 |
Lukas Stadler |
don't pass stamps to arithmetic node constructors
|
Wed, 25 Jun 2014 13:11:32 +0200 |
Josef Eisl |
Make ValueProcedure a subclass of InstructionValueProcedure and remove redundancies.
|
Wed, 25 Jun 2014 11:25:54 +0200 |
Lukas Stadler |
make InstanceOfDynamicNode a BinaryOpLogicNode
|
Wed, 25 Jun 2014 11:21:44 +0200 |
Lukas Stadler |
implement Canonicalizable.Binary in the BinaryOpLogicNode hierarchy
|
Wed, 25 Jun 2014 11:20:53 +0200 |
Lukas Stadler |
implement Canonicalizable.Unary in the UnaryOpLogicNode hierarchy
|
Wed, 25 Jun 2014 11:20:53 +0200 |
Lukas Stadler |
non-adding factory methods in BitLogicNode
|
Wed, 25 Jun 2014 11:20:53 +0200 |
Lukas Stadler |
non-adding factory methods in LogicConstantNode
|
Wed, 25 Jun 2014 11:20:53 +0200 |
Lukas Stadler |
non-adding factory methods in ConstantNode
|
Wed, 25 Jun 2014 11:20:53 +0200 |
Lukas Stadler |
rename of x() to getX(), y() to getY() and object() to getValue()
|
Wed, 25 Jun 2014 11:20:50 +0200 |
Lukas Stadler |
handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner
|
Wed, 25 Jun 2014 10:58:42 +0200 |
Lukas Stadler |
new Unary and Binary canonicalizable interfaces
|
Wed, 25 Jun 2014 11:30:44 +0200 |
Doug Simon |
Merge.
|