Tue, 14 May 2013 10:32:02 +0200 |
Christian Haeubl |
InliningPhase cleanups.
|
Tue, 14 May 2013 10:18:31 +0200 |
Christian Haeubl |
Merge.
|
Tue, 14 May 2013 10:17:06 +0200 |
Christian Haeubl |
Fixes for the merge and inlining cleanups.
|
Mon, 13 May 2013 17:43:42 +0200 |
Christian Haeubl |
Temporary fixes for the merge.
|
Mon, 13 May 2013 17:11:31 +0200 |
Christian Haeubl |
Merge.
|
Mon, 13 May 2013 16:46:39 +0200 |
Christian Haeubl |
Added some tunable parameters to the inlining phase.
|
Mon, 13 May 2013 13:55:41 +0200 |
Christian Haeubl |
Removed memory leak and bugfixes for the InliningPhase.
|