summaryrefslogtreecommitdiff
path: root/BCT/BytecodeTranslator/BytecodeTranslator.csproj
Commit message (Expand)AuthorAge
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Make the modelExceptions option an integer.Gravatar Unknown2012-08-22
* Changed the BCT solution so it uses the CodePlex version of CCI (insteadGravatar Mike Barnett2012-03-30
* Adapting to new decompiler.Gravatar Mike Barnett2012-02-27
* (bct) skeleton of plugin infrastructure. for now the code is essentially the ...Gravatar t-espave2011-08-16
* (BCT) starting translators-as-plugins implGravatar t-espave2011-08-15
* cleaning up & refactorGravatar t-espave2011-08-15
* 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 re...Gravatar t-espave2011-08-11
* (BCT) BREAKING CHANGEGravatar t-espave2011-08-11
* (phone) back key handling via delegate detectedGravatar t-espave2011-08-10
* (phone bct) compute fixpoint for necessary inlined methods (for modular analy...Gravatar t-espave2011-08-01
* adding checks and code injection for phone feedback checkingGravatar t-espave2011-07-25
* - keeping track of BCT name changes to controlsGravatar Unknown2011-07-15
* - navigation event detectionGravatar Unknown2011-07-14
* phone injecting code traverserGravatar Unknown2011-07-08
* phone control exploration for BCT, not integrated yetGravatar Unknown2011-07-07
* MergeGravatar Mike Barnett2011-05-16
* Changed calls to Debug.Assert to Contract.Assert.Gravatar mikebarnett2011-02-24
* More structuring of the different heap representations. Now each heap represe...Gravatar mikebarnett2011-01-19
* The beginning of the encapsulation of the Heap representation so that we can ...Gravatar mikebarnett2011-01-17
* Add a reference to ParserHelper.dll for the definition of IToken which was mo...Gravatar mikebarnett2010-12-09
* Adapt to new APIs in CCI.Gravatar mikebarnett2010-12-08
* Introduction of the Sink: a global object that is threaded through all of the...Gravatar mikebarnett2010-07-02
* Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...Gravatar mikebarnett2010-06-28
* Added the factory pattern so that all traversers are created through factory ...Gravatar mikebarnett2010-06-16
* Updated the project to .NET v4.0.Gravatar mikebarnett2010-06-06
* BCT: Added prelude. Started test1 as a test of verification.Gravatar rustanleino2010-05-12
* Moved BCT project references for Boogie to the Boogie\Binaries directory.Gravatar rustanleino2010-04-16
* Upgraded solution file and project file to VS2010.Gravatar mikebarnett2010-04-16
* Setting up test cases for BCTGravatar schaef2009-11-20
* Changed solution to include the CCI projects from Codeplex. (Still flaky in t...Gravatar mikebarnett2009-11-10
* The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...Gravatar mikebarnett2009-08-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-04 19:04:14 +0000