log

age author description
Mon, 17 Nov 2014 14:59:54 +0100 Roland Schatz Remove dead code from CompressionNode.
Mon, 17 Nov 2014 18:03:51 +0100 Gilles Duboscq Make sure FloatStamps have float bounds
Wed, 12 Nov 2014 13:50:08 +0100 Gilles Duboscq Rename GuardNode.negated to GuardNode.isNegated
Wed, 12 Nov 2014 13:48:47 +0100 Gilles Duboscq Add some javadoc to MergeableState
Wed, 12 Nov 2014 13:35:47 +0100 Gilles Duboscq ConditionalEliminaion: some refactorings and simplifications
Wed, 12 Nov 2014 10:53:37 +0100 Gilles Duboscq ConditionalElimination: use GuardingNode interface where possible
Mon, 22 Sep 2014 10:27:52 +0200 Gilles Duboscq Add TrustedInterface to list of classes for tests