debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	Find implementations of interface methods for dynamic dispatch, not just	Unknown	2012-09-09
*	Avoid creating a dynamic dispatch table for GetHashCode and ToString: it ends	Unknown	2012-09-09
*	Moved the statement traverser's operand stack (used for explicit push/pop/dup	Unknown	2012-09-09
*	Fix the whole-program translator so that exception handling is done	Unknown	2012-08-23
*	Make the modelExceptions option an integer.	Unknown	2012-08-22
*	Adapting to new decompiler.	Mike Barnett	2012-02-27
*	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
*	an optimization in dynamic dispatch	qadeer	2012-01-23
*	Trying to get the generics translation correct...	Mike Barnett	2011-11-14
*	Many, many bug fixes related to generics and some other random problems.	Mike Barnett	2011-11-10
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	fix in event translation for whole program analysis	qadeer	2011-08-17
*	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
*	Further support for translating generics	qadeer	2011-06-04
*	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
*	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
*	first cut at handling generics	qadeer	2011-05-11
*	Can now translate multiple assemblies into one Boogie Program.	mikebarnett	2011-03-08
*	Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ...	mikebarnett	2011-03-06
*	Changes needed to translate both contracts and method bodies. The Statement a...	mikebarnett	2011-03-05
*	Fixed dynamic dispatch so the most derived override is called for each subtype.	mikebarnett	2011-02-25
*	Added a new type, Type, that represents runtime types. The Heap interface now...	mikebarnett	2011-02-24
*	Changed calls to Debug.Assert to Contract.Assert.	mikebarnett	2011-02-24