debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	(phone bct) default URI checks inlined	t-espave	2011-08-02
*	fixed right/left shift functions decl	t-espave	2011-07-27
*	added translation for RightShift and LeftShift	Unknown	2011-07-26
*	double definition fix	t-espave	2011-07-22
*	Added subtyping axiomatization.	Mike Barnett	2011-07-20
*	edited out phoneplugin from most places	Unknown	2011-07-19
*	potentially useful boogie stubs, commented out since they may conflict with {...	Unknown	2011-07-15
*	Beginning of encoding the subtype relation.	Mike Barnett	2011-07-06
*	bug fix in heap access for splitfield option	qadeer	2011-06-30
*	whole bunch of bug fixes	qadeer	2011-06-20
*	Real2Int type error	Unknown	2011-06-15
*	refactored the prelude, added thread_local attribute to $Exception variable	qadeer	2011-06-14
*	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
*	Further support for translating generics	qadeer	2011-06-04
*	Added bitwise operations.	Mike Barnett	2011-05-31
*	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
*	Handle more conversions.	Mike Barnett	2011-05-29
*	Fixes for a bunch of different bugs. Translate default value for doubles,	Mike Barnett	2011-05-29
*	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
*	Fixed array construction	qadeer	2011-05-17
*	first cut at handling generics	qadeer	2011-05-11
*	More support for reals, especially real constants.	Mike Barnett	2011-05-08
*	Better error handling.	Mike Barnett	2011-05-08
*	Fixed lots of bugs having to do with casts, conversions, and address-of	Mike Barnett	2011-05-03
*	Merge	Mike Barnett	2011-05-03
\|\
\| *	Trying to fix "boxing", i.e., value type to ref conversions as done in the CLR.	Mike Barnett	2011-05-03
* \|	bug fixes related to handling of structs, arrays, and assignments	qadeer	2011-05-02
\|/
*	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
*	fixing problems with struct translation	qadeer	2011-04-27
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	Fix stub support (still not completely finished).	Unknown	2011-04-12
*	Made it unnecessary to set the types on the Boogie ASTs as we create them.	mikebarnett	2011-03-03
*	fixes for splitFields option	qadeer	2011-03-02
*	implemented delegates and events	qadeer	2011-02-25
*	Added a new type, Type, that represents runtime types. The Heap interface now...	mikebarnett	2011-02-24
*	Moved the parts of the Prelude that depend on the heap representation into th...	mikebarnett	2011-01-20
*	More structuring of the different heap representations. Now each heap represe...	mikebarnett	2011-01-19