debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	delegates/events implemented as multisets rather than linked lists	qadeer	2011-08-30
*	a small bug in GeneralHeap translation	qadeer	2011-08-26
*	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
*	Made the split fields heap agree with the naming convention used for fields that	Mike Barnett	2011-08-16
*	fixes for bug with generic delegates	qadeer	2011-08-11
*	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
*	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
*	bug fix in heap access for splitfield option	qadeer	2011-06-30
*	refactored the prelude, added thread_local attribute to $Exception variable	qadeer	2011-06-14
*	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
*	fixed the axiom about TypeOf	Unknown	2011-05-18
*	Fixed array construction	qadeer	2011-05-17
*	added another axiom	Unknown	2011-05-17
*	added spec for GetType	qadeer	2011-05-17
*	Trying to fix the bound expression simplifier.	Mike Barnett	2011-05-12
*	Better error handling.	Mike Barnett	2011-05-08
*	added a few more axioms	qadeer	2011-05-04
*	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
*	Made it unnecessary to set the types on the Boogie ASTs as we create them.	mikebarnett	2011-03-03
*	Create a static constructor only for types that don't already define one.	mikebarnett	2011-03-02
*	some fixes	qadeer	2011-03-02
*	fixes for splitFields option	qadeer	2011-03-02
*	Fixed many bugs.	mikebarnett	2011-03-01
*	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
*	Added the heap representation I was supposed to have started with... A genera...	mikebarnett	2011-01-21
*	Added a better options parsing by using functionality from MemberHelper.	mikebarnett	2011-01-21
*	Fix order of getting the instance and the field from the expression heap so t...	mikebarnett	2011-01-21
*	Put back the prelude for the split fields heap that had been there before.	mikebarnett	2011-01-21
*	Added a test for the split fields option.	mikebarnett	2011-01-20
*	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
*	Removed HeapVariable from everywhere now that it is encapsulated in the Heap ...	mikebarnett	2011-01-19
*	Removing resolution: there's no need to resolve field references in order to ...	mikebarnett	2011-01-18
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17