[Checkers] Changing @Romaybe to @PolyRead

Michael Ernst mernst at csail.mit.edu
Fri Apr 18 04:58:45 EDT 2008

To follow up with a conversation that I had with Jaime, there is consensus
that we should change the @Romaybe keyword to @PolyRead.

I've asked Jaime and Telmo to make this change to their codebases,
effective immediately.  That way, it will appear in the Javarifier release
that Jaime plans to make around Sunday/Monday, and in the Checkers
Framework development release that I presume will be made today.



More information about the checkers mailing list