log

age author description
Mon, 23 Jun 2014 14:11:54 +0200 Lukas Stadler add SimplifierTool.addToWorkList for Iterable<Node>
Mon, 23 Jun 2014 14:11:54 +0200 Lukas Stadler new UnaryNode base class
Fri, 20 Jun 2014 12:09:46 +0200 Lukas Stadler run simplification if canonicalization is unsuccessful