[Checkers] May 23 development release
mahmood at MIT.EDU
Tue May 27 18:42:44 EDT 2008
There was no reason for it be so. It was unstable release because I
did it without Matt!
We can make this coming Friday a stable release.
I have few more improvements to the documentations today. I will send
the pdf file of the code for the code review within some few hours.
On May 27, 2008, at 3:43 PM, Michael Ernst wrote:
> Mahmood (and Matt)-
> Why was the May 23 release a development release and not a stable
> (The last stable release was a month ago.)
> Was there something specific that we know of that isn't stable or
> about it? (My general philosophy is to make every release a stable
> release, unless there is a reason for it.)
> checkers mailing list
> checkers at lists.csail.mit.edu
More information about the checkers