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 |
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 |
Wed, 15 Apr 2015 18:29:38 +0200 | Gilles Duboscq | Let GuardProxyNode canonicalize away if the proxied guard becomes null |
Wed, 15 Apr 2015 18:25:54 +0200 | Gilles Duboscq | ProxyNode: let Optional/non-Optional Input verify null status of edges |
Wed, 15 Apr 2015 18:22:11 +0200 | Gilles Duboscq | Convert graalRuntime.cpp to unix line delimiters |