Releases of the Checker Framework