comparison LICENSE.LGPL @ 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 0fbee3eb71f0
children
comparison
equal deleted inserted replaced
21037:3fc34aafea30 21038:6868faf48f02