debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
*	The decompilation is not guaranteed to get rid of all push statements and pop	Mike Barnett	2011-04-29
*	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
\|/
*	0. Deleted other heap representations except SplitField and General	qadeer	2011-04-23
*	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
*	Can now translate multiple assemblies into one Boogie Program.	mikebarnett	2011-03-08
*	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
*	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
*	Changed calls to Debug.Assert to Contract.Assert.	mikebarnett	2011-02-24
*	Fix the generation of procedure names so that array types are encoded properly.	mikebarnett	2011-01-26
*	Added the heap representation I was supposed to have started with... A genera...	mikebarnett	2011-01-21
*	Forgot to add file with last checkin.	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
*	Renamed outside of SVN, so added the renamed file and deleting this.	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
*	The beginning of the encapsulation of the Heap representation so that we can ...	mikebarnett	2011-01-17
*	Fix translation of "null" so that it produces a type-correct value.	mikebarnett	2011-01-16
*	1. Converted assume to assert for the source info	qadeer	2010-12-21
*	Changed attribute names in the BPL for source context assumption statements.	mikebarnett	2010-12-21
*	Use an explicit PdbReader instead of the more general ISourceLocationProvider...	mikebarnett	2010-12-21
*	Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each stat...	mikebarnett	2010-12-20
*	Translate boolean types into Bpl.Type.Bool.	mikebarnett	2010-12-20
*	Added Alloc implementation to the Prelude	qadeer	2010-12-15
*	Added a new option for splitting fields	qadeer	2010-12-15
*	Fixed declaration of procedures from static methods so that they don't have t...	mikebarnett	2010-12-14
*	Translate calls to static methods.	mikebarnett	2010-12-14
*	Translate object creation expressions.	mikebarnett	2010-12-14
*	Adapt to new APIs in CCI.	mikebarnett	2010-12-08
*	Cleaned up the sink: removed the OutVars, which was state the sink needed onl...	mikebarnett	2010-07-05
*	Introduction of the Sink: a global object that is threaded through all of the...	mikebarnett	2010-07-02
*	Simplified the translator by merging the ToplevelTraverser, ClassTraverser, a...	mikebarnett	2010-06-28
*	Added the factory pattern so that all traversers are created through factory ...	mikebarnett	2010-06-16