Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sat, 18 Apr 2015 19:56:22 +0200 | Gilles Duboscq | Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven |
age | author | description |
---|---|---|
Sat, 18 Apr 2015 19:56:22 +0200 | Gilles Duboscq | Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven |