debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Add a method to the Sink that is responsible for creating a Boogie expression	Unknown	2011-04-28
*	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
*	merge changes with shaz's checkin.	Unknown	2011-04-27
\|\
\| *	Trying to get structs supported.	Unknown	2011-04-27
* \|	fixes to struct translation	qadeer	2011-04-27
* \|	Merge	qadeer	2011-04-27
\|\\|
* \|	fixing problems with struct translation	qadeer	2011-04-27
\| *	Add translation for conversion expressions, at least between bool and int.	Unknown	2011-04-26
\|/
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	in the middle of trying to implement structs	qadeer	2011-04-22
*	Added translation for "x is T" expressions.	Unknown	2011-04-21
*	Fix stub support (still not completely finished).	Unknown	2011-04-12
*	More support for stubs. Ability to add functions as well as procedures.	mikebarnett	2011-04-04
*	Added a translation for typeof expressions.	mikebarnett	2011-03-09
*	Can now translate multiple assemblies into one Boogie Program.	mikebarnett	2011-03-08
*	Fix Sink.FindOrCreateProcedure so that it takes an IMethodDefinition instead ...	mikebarnett	2011-03-06
*	Added support for stub methods. If a method definition is marked with a custo...	mikebarnett	2011-03-06
*	In the Sink, keep track of any procedures defined in the initial program (whi...	mikebarnett	2011-03-06
*	Changes needed to translate both contracts and method bodies. The Statement a...	mikebarnett	2011-03-05
*	changes for dealing with delegates	qadeer	2011-03-05
*	Fix translation of "new" so that a procedure is generated (if needed) for the...	mikebarnett	2011-03-03
*	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
*	put the call to CreateStaticConstructor back in	qadeer	2011-03-02
*	some fixes	qadeer	2011-03-02
*	Fix null-equivalent initialization of fields so that instance fields are init...	mikebarnett	2011-03-02
*	fixes for splitFields option	qadeer	2011-03-02
*	Use the Sink's API for creating a procedure for the Invoke method of a delegate.	mikebarnett	2011-03-01
*	Fixed many bugs.	mikebarnett	2011-03-01
*	Fixed dynamic dispatch so the most derived override is called for each subtype.	mikebarnett	2011-02-25
*	two bug fixes	qadeer	2011-02-25
*	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
*	Changed calls to Debug.Assert to Contract.Assert.	mikebarnett	2011-02-24
*	Moved the creation of Boogie procedures from the MetadataTraverser to the Sin...	mikebarnett	2011-02-11
*	If a method definition has any custom attributes, translate them into BPL att...	mikebarnett	2011-02-09
*	Added support for translating delegates	qadeer	2011-02-08
*	Fix the generation of procedure names so that array types are encoded properly.	mikebarnett	2011-01-26
*	Make the general heap representation the default.	mikebarnett	2011-01-22
*	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
*	Use the interned key of field references, now that they have one.	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