debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	more string mangling	qadeer	2011-08-31
*	Merge	qadeer	2011-08-26
\|\
* \|	some more string munging	qadeer	2011-08-26
\| *	(bct) removed ad-hoc string replacements, the problem is actually the encoding	t-espave	2011-08-25
\|/
*	(phone bct) minor bugfixes found playing around with apps	t-espave	2011-08-19
*	various fixes to deal with bug in generic delegates	qadeer	2011-08-12
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	Merge	t-espave	2011-08-04
\|\
\| *	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
* \|	Merge	t-espave	2011-08-03
\|\\|
\| *	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
* \|	(phone bct) user feedback, showing possibly anomalous nav targets	t-espave	2011-08-03
\|/
*	Unicode surrogate characters cannot be handled by Boogie. For now (forever?)	Mike Barnett	2011-08-02
*	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