diff THIRD_PARTY_README @ 21038:6868faf48f02

Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Sat, 18 Apr 2015 19:56:22 +0200
parents 7848fc12602b
children 12dcf5ba8b34
line wrap: on
line diff