debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Adapting to new decompiler.	Mike Barnett	2012-02-27
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
*	cleaning up & refactor	t-espave	2011-08-15
*	cleanup	t-espave	2011-07-21
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	- keeping track of BCT name changes to controls	Unknown	2011-07-15
*	fixing exception translation according to discussion with mike	qadeer	2011-07-13
*	Translate IConditional exactly the same way as IConditionalStatement to accou...	qadeer	2011-06-20
*	changes related to fixing problems with finally translation	qadeer	2011-06-12
*	bunch of changes related to finally handling	qadeer	2011-06-10
*	beginning support for finally clauses	qadeer	2011-06-07
*	initial cut for translating exceptions	qadeer	2011-06-06
*	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
*	Can now translate multiple assemblies into one Boogie Program.	mikebarnett	2011-03-08
*	Changes needed to translate both contracts and method bodies. The Statement a...	mikebarnett	2011-03-05
*	Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...	mikebarnett	2011-02-11
*	More structuring of the different heap representations. Now each heap represe...	mikebarnett	2011-01-19
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17
*	Use an explicit PdbReader instead of the more general ISourceLocationProvider...	mikebarnett	2010-12-21
*	Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...	mikebarnett	2010-12-20
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...	mikebarnett	2010-06-28
*	Added the factory pattern so that all traversers are created through factory ...	mikebarnett	2010-06-16