You may also want to look at CI's 2.0 development branch.

They've rebuilt much of the base code on top of PHP 5 natively now instead of being built on PHP 4 with hacks to make it also work with 5.

Although it is still in development, it has been said that it is stable.