Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Thu, 20 Feb 2014 13:59:18 +0100 | Christian Humer | Merge. |
Thu, 20 Feb 2014 13:44:39 +0100 | Christian Humer | Merge. |
Thu, 20 Feb 2014 13:44:06 +0100 | Christian Humer | Truffle: added visited set to avoid duplicate inlinings when operating on truffle trees violating the tree property. |
Thu, 20 Feb 2014 13:43:15 +0100 | Christian Humer | Truffle: accidently increased max graph size. |