debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Changed the BCT solution so it uses the CodePlex version of CCI (instead	Mike Barnett	2012-03-30
*	Merge	qadeer	2012-02-06
\|\
* \|	added inlining support for all implementations given the attribute {:inline 1}	qadeer	2012-02-06
\| *	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-02-05
\|/\|
\| *	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
* \|	added another project	qadeer	2012-01-30
\|/
*	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