CodePlexProject Hosting for Open Source Software
5:01 PM(1 post)
first post: Annapurna1 wrote: VS2008 cannot locate a single type name or assembly reference...fur...
3:41 AM(1 post)
first post: brentbynum wrote: Looks this file was missed in Commit 72200.
7:11 AM(3 posts)
first post: VIvanov wrote: Hello!
I have a revision
6:01 AM(5 posts)
first post: redoz wrote: Hi,
I wanted to see if I could decompile a method without having t...
Dec 22, 2012
12:49 AM(2 posts)
first post: mdude wrote: I am trying to integrate Dafny into Visual Studio 2010 and I canno...
Dec 19, 2012
8:16 AM(6 posts)
first post: JochenHuck wrote: Hi, I use the code model to instrument method bodies via a custom ...
May 12, 2012
2:43 AM(2 posts)
first post: BadCorporateLogo wrote: I frequently disassemble my rewritten assemblies (using ildasm) to...
Jan 28, 2012
3:22 AM(1 post)
first post: hermanv wrote: As of changeset 67463 the Code Model has some new properties and ne...
Jan 26, 2012
6:59 PM(3 posts)
first post: perelman wrote: I am trying to do a code analysis task which involves using the bod...
Dec 7, 2011
6:55 PM(4 posts)
first post: larryssmith wrote: I tried the PeToPe.exe example on a bunch of different exes and dll...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions