debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Changed the BCT solution so it uses the CodePlex version of CCI (instead	Mike Barnett	2012-03-30
\| \| \| \| \| \|	of the internal version). Fixed the expression traverser to (begin the) support target expressions as operands of binary expressions. (e.g., x++ or x += 2)
*	Merge	qadeer	2012-02-06
\|\
* \|	added inlining support for all implementations given the attribute {:inline 1}	qadeer	2012-02-06
\| \| \| \| \| \| \| \| \| \|	removed AssertionInjector from the solution changed the representation of multicast delegates
\| *	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
\| \| \| \| \| \| \| \|	the "union" type that is the supertype of all the translated Boogie types.
* \|	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 ↵	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.