debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	various bug fixes related to running bct on phone apps	qadeer	2011-06-12
*	changes related to fixing problems with finally translation	qadeer	2011-06-12
*	beginning support for finally clauses	qadeer	2011-06-07
*	initial cut for translating exceptions	qadeer	2011-06-06
*	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
*	Fixed struct ctors so that they don't return the "this" value, but just	Mike Barnett	2011-05-29
*	Removed the method DefaultValue from the sink: if a default value of a type	Mike Barnett	2011-05-29
*	first cut at handling generics	qadeer	2011-05-11
*	Oops. Last checkin did not contain the changes for the catch clause change when	Mike Barnett	2011-05-10
*	Uniquified constant names generated for string literals	qadeer	2011-05-03
*	bug fixes related to handling of structs, arrays, and assignments	qadeer	2011-05-02
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	changes for dealing with delegates	qadeer	2011-03-05
*	Made it unnecessary to set the types on the Boogie ASTs as we create them.	mikebarnett	2011-03-03
*	implemented delegates and events	qadeer	2011-02-25
*	Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...	mikebarnett	2011-02-11
*	Fix the generation of procedure names so that array types are encoded properly.	mikebarnett	2011-01-26
*	Added a better options parsing by using functionality from MemberHelper.	mikebarnett	2011-01-21
*	Added a test for the split fields option.	mikebarnett	2011-01-20
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17
*	added support for array translation.	qadeer	2010-12-20
*	Translate boolean types into Bpl.Type.Bool.	mikebarnett	2010-12-20
*	Added Alloc implementation to the Prelude	qadeer	2010-12-15
*	Fixed field update and field dereference.	mikebarnett	2010-12-09
*	General hygiene: introduced (fixed) a helper method that creates Boogie token...	mikebarnett	2010-07-05
*	Cleaned up the sink: removed the OutVars, which was state the sink needed onl...	mikebarnett	2010-07-05
*	Forgotten file: Sink.cs	mikebarnett	2010-07-05
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	Updated the project to .NET v4.0.	mikebarnett	2010-06-06
*	BCT: Added prelude. Started test1 as a test of verification.	rustanleino	2010-05-12
*	The beginnings of a CCI Metadata (http://ccimetadata.codeplex.com) based byte...	mikebarnett	2009-08-09