Fri, 21 Feb 2014 02:24:03 +0100 |
Christian Humer |
Truffle: Added API for Node.getKind().
|
Fri, 21 Feb 2014 00:19:50 +0100 |
Thomas Wuerthinger |
Remove unused field.
|
Thu, 20 Feb 2014 17:42:29 +0100 |
Thomas Wuerthinger |
Merge.
|
Thu, 20 Feb 2014 17:42:18 +0100 |
Thomas Wuerthinger |
Turn Truffle cache into least recently used cache with maximum size.
|
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.
|
Thu, 20 Feb 2014 01:52:58 +0100 |
Christian Humer |
Truffle: Cleaned depracated API usage.
|
Thu, 20 Feb 2014 01:43:51 +0100 |
Christian Humer |
SL: adaptions for SL to new inlining API.
|
Thu, 20 Feb 2014 01:43:11 +0100 |
Christian Humer |
Truffle: New more reliable inlining strategy for the Truffle runtime.
|
Thu, 20 Feb 2014 01:21:49 +0100 |
Christian Humer |
Truffle: Updated inlining API. Pushed inlining implementation to the Truffle runtime.
|