log

age author description
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
Mon, 16 Mar 2015 17:07:21 +0100 Gilles Duboscq Always register stamps for the condition itself