log

age author description
Wed, 15 Apr 2015 20:05:51 +0200 Gilles Duboscq Conditional Elimination: processCheckCast should return as soon as the checkcast has been transformed
Sat, 18 Apr 2015 19:56:22 +0200 Gilles Duboscq Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven
Wed, 15 Apr 2015 12:35:38 +0200 Gilles Duboscq Conditional elimination: check if conditional has known value already