summaryrefslogtreecommitdiff
path: root/BCT/BCT.sln
Commit message (Collapse)AuthorAge
* various fixes to deal with bug in generic delegatesGravatar qadeer2011-08-12
|
* (phone) cancel/navigation on back key is now deep through calls. More info ↵Gravatar t-espave2011-08-11
| | | | reported at end of analysis
* (BCT) BREAKING CHANGEGravatar t-espave2011-08-11
| | | | BCT now links to CCI in CodeBox, get the CodeBox tree into C:\CCICodeBox
* New project to support "Get Me Here": an assertion injector that puts into aGravatar Mike Barnett2011-07-27
| | | | binary a call to "Contract.Assert(false)".
* phone control exploration for BCT, not integrated yetGravatar Unknown2011-07-07
| | | | should be made into a plugin sometime
* remove mscorlib stub project...write each as neededGravatar Unknown2011-07-06
|
* phone (static) controls extractor.Gravatar Unknown2011-07-06
|
* Fix build by adding missing project.Gravatar mikebarnett2011-02-23
|
* Adapt to new APIs in CCI.Gravatar mikebarnett2010-12-08
|
* Added the factory pattern so that all traversers are created through factory ↵Gravatar mikebarnett2010-06-16
| | | | | | | methods. This is the beginning of allowing plugins to perform methodology-specific translations. Added a CLR traverser that is meant to encode the CLR semantics. For now it just does one thing: add the assertion that a divisor should not be zero. Added an MS Test project so that we can use that for regression testing.
* Upgraded solution file and project file to VS2010.Gravatar mikebarnett2010-04-16
|
* Update use of CCI's API for decompiling the IL model to the Code Model.Gravatar mikebarnett2009-11-17
|
* Changed solution to include the CCI projects from Codeplex. (Still flaky in ↵Gravatar mikebarnett2009-11-10
| | | | that it assumes the CCI sources are in a particular relative location to the BCT sources.)
* The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based ↵Gravatar mikebarnett2009-08-09
bytecode translator.