Current versions are available at 20151106: * An early version of Iris 2.0. This already has RAs and CMRAs and an agreement, but the final Iris 2.0 was entirely re-written by Robbert. 20150616: * Named a few typeclass instances to speed up compilation. * Tweaked the Makefile. 20141024: * Initial release with final POPL'15 submission.