The splint-discuss mailing list archives are here: http://www.cs.virginia.edu/pipermail/splint-discuss/