debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...	Rustan Leino	2013-03-05
*	further sanitization of string in :value attribute	qadeer	2012-03-11
*	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
*	Automated merge with https://hg01.codeplex.com/boogie	Mike Barnett	2012-01-26
\|\
\| *	Separate out the concepts of boxing	Mike Barnett	2012-01-26
* \|	an optimization in dynamic dispatch	qadeer	2012-01-23
\|/
*	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