Wed, 12 Jan 2011 19:14:32 +0100 |
Thomas Wuerthinger |
Added GC stats. Enabling intrinsics.
|
Tue, 11 Jan 2011 17:02:38 +0100 |
Thomas Wuerthinger |
Removed assert.
|
Tue, 11 Jan 2011 16:35:10 +0100 |
Thomas Wuerthinger |
Changed .hgignore.
|
Tue, 11 Jan 2011 16:21:22 +0100 |
Thomas Wuerthinger |
Small clean up.
|
Tue, 11 Jan 2011 11:55:19 +0100 |
Thomas Wuerthinger |
Two fixes for leaf type and leaf method assumptions.
|
Mon, 10 Jan 2011 16:59:48 +0100 |
Thomas Wuerthinger |
Added leaf method assumptions.
|
Mon, 10 Jan 2011 10:50:22 +0100 |
Thomas Wuerthinger |
Added unique concrete subtype assumption.
|