CodePlexProject Hosting for Open Source Software
Member SinceMay 10, 2007 Last VisitMay 25, 2012
Contact
VCC
Common Compiler Infrastructure - Code and AST components Common Compiler Infrastructure - Metadata Microsoft Research Boogie
May 24, 2012 - VCC: 7ee997123cf1, Merge Dev11 conversion
May 24, 2012 - VCC: Created discussion: VS11 Conversion
May 24, 2012 - VCC: Modified work item: pluggin/installer support for VS11 beta
May 24, 2012 - VCC: Commented work item: pluggin/installer support for VS11 beta
May 23, 2012 - VCC: Created discussion: VS2011 support
May 22, 2012 - VCC: 8041e7449f61, Make installation of VSIX extension work in Dev11 beta
May 22, 2012 - VCC: 4ee73703ed28, Report errors for misuse of \me Work item: 6572 Work item: 6570
May 22, 2012 - VCC: Modified work item: \me should be forbidden inside of object invariants
May 22, 2012 - VCC: Modified work item: OOPS unhandled macro on &\me
May 21, 2012 - VCC: 9acb991f1d61, Do not remove subsequent int conversions as they may have individual effects like sign extension
Common Compiler Infrastructure - Code and AST components Common Compiler Infrastructure - Metadata Kinect Paint Microsoft Research Boogie VCC
No forks.