This is a git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )