debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
*	Made it unnecessary to set the types on the Boogie ASTs as we create them.	mikebarnett	2011-03-03
*	some fixes	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
*	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 creation of Boogie procedures from the MetadataTraverser to the Sin...	mikebarnett	2011-02-11
*	Added support for translating delegates	qadeer	2011-02-08
*	Use the interned key of field references, now that they have one.	mikebarnett	2011-01-21
*	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
*	added support for array translation.	qadeer	2010-12-20
*	Added a new option for splitting fields	qadeer	2010-12-15
*	Translate object creation expressions.	mikebarnett	2010-12-14
*	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