CodePlexProject Hosting for Open Source Software
Member SinceApril 7, 2009 Last VisitApril 15, 2013
Contact
Bytecode Translator: A translator from .NET bytecode to Boogie Common Compiler Infrastructure - Code and AST components Common Compiler Infrastructure - Metadata Common Compiler Infrastructure - Sample applications Microsoft Research Boogie Spec#
BoogiePartners Sando: A Fast Local Code Search Engine with Open APIs
May 16, 2013 - Common Compiler Infrastructure - Metadata: Modified work item: Compilation error
May 16, 2013 - Common Compiler Infrastructure - Code and AST components: Modified work item: Broken IL after decompiling and compiling assembly
May 16, 2013 - Common Compiler Infrastructure - Sample applications: Modified work item: CCISharp No Longer builds
May 2, 2013 - Common Compiler Infrastructure - Code and AST components: 71607, Added ReflectionImporter project from internal version.
May 2, 2013 - Common Compiler Infrastructure - Metadata: 71606, Added ReflectionImporter project from the internal version.
April 8, 2013 - Common Compiler Infrastructure - Code and AST components: 71512, Sync with internal version.
April 8, 2013 - Common Compiler Infrastructure - Metadata: 71511, Sync with internal version.
BoogiePartners Common Compiler Infrastructure - Metadata Microsoft Research Boogie NuGet
No forks.