Sat, 09 Jun 2012 16:52:12 +0200 |
Thomas Wuerthinger |
More renamings to drop Ri* prefix completely. Deleted graph.BitMap class and replaced with java.util.BitSet.
|
Fri, 08 Jun 2012 23:47:42 +0200 |
Thomas Wuerthinger |
Renaming RiKind => Kind.
|
Thu, 07 Jun 2012 18:55:34 +0200 |
Thomas Wuerthinger |
Move cri.ci to api.code.
|
Thu, 07 Jun 2012 18:24:06 +0200 |
Thomas Wuerthinger |
Moving classes from cri.ri to api.meta.
|
Thu, 07 Jun 2012 17:09:57 +0200 |
Thomas Wuerthinger |
Moved RiKind to cri.ri package.
|
Thu, 07 Jun 2012 17:08:33 +0200 |
Thomas Wuerthinger |
Renaming CiKind => RiKind.
|
Fri, 25 May 2012 11:35:18 +0200 |
Lukas Stadler |
changes to the dependencies and stamp system:
|
Wed, 14 Mar 2012 17:55:33 +0100 |
Lukas Stadler |
experimental type storage/query infrastructure, part 4:
|