log

age author description
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