debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	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 ↵	t-espave	2011-08-11
\| \| \| \|	reported at end of analysis
*	(BCT) BREAKING CHANGE	t-espave	2011-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 a	Mike Barnett	2011-07-27
\| \| \| \|	binary a call to "Contract.Assert(false)".
*	phone control exploration for BCT, not integrated yet	Unknown	2011-07-07
\| \| \| \|	should be made into a plugin sometime
*	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
\| \| \| \| \| \| \|	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.	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 ↵	mikebarnett	2009-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 ↵	mikebarnett	2009-08-09
	bytecode translator.