log

age author description
Sat, 18 Apr 2015 19:56:22 +0200 Gilles Duboscq Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven