index
:
debian-boogie
dfsg_free
master
Debian packaging for Boogie
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
BCT
/
BCT.sln
Commit message (
Expand
)
Author
Age
*
various fixes to deal with bug in generic delegates
qadeer
2011-08-12
*
(phone) cancel/navigation on back key is now deep through calls. More info re...
t-espave
2011-08-11
*
(BCT) BREAKING CHANGE
t-espave
2011-08-11
*
New project to support "Get Me Here": an assertion injector that puts into a
Mike Barnett
2011-07-27
*
phone control exploration for BCT, not integrated yet
Unknown
2011-07-07
*
remove mscorlib stub project...write each as needed
Unknown
2011-07-06
*
phone (static) controls extractor.
Unknown
2011-07-06
*
Fix build by adding missing project.
mikebarnett
2011-02-23
*
Adapt to new APIs in CCI.
mikebarnett
2010-12-08
*
Added the factory pattern so that all traversers are created through factory ...
mikebarnett
2010-06-16
*
Upgraded solution file and project file to VS2010.
mikebarnett
2010-04-16
*
Update use of CCI's API for decompiling the IL model to the Code Model.
mikebarnett
2009-11-17
*
Changed solution to include the CCI projects from Codeplex. (Still flaky in t...
mikebarnett
2009-11-10
*
The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...
mikebarnett
2009-08-09