debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	added examples of generics and string support needed by Poirot	10shb	2011-05-12
*	first cut at handling generics	qadeer	2011-05-11
*	simplified the translation of assignments	qadeer	2011-05-10
*	Oops. Last checkin did not contain the changes for the catch clause change when	Mike Barnett	2011-05-10
*	Changed the way variables corresponding to events are created. If the compiler	Mike Barnett	2011-05-10
*	always translate enums as ints.	Mike Barnett	2011-05-09
*	More support for reals, especially real constants.	Mike Barnett	2011-05-08
*	Better error handling.	Mike Barnett	2011-05-08
*	Merge	Mike Barnett	2011-05-06
\|\
* \|	Cleanup of new LHS simplification and replaced the golden output with the	Mike Barnett	2011-05-06
* \|	simplifying lhs of assignment statements.	Mike Barnett	2011-05-05
\| *	added a few more axioms	qadeer	2011-05-04
\|/
*	Uniquified constant names generated for string literals	qadeer	2011-05-03
*	Fixed lots of bugs having to do with casts, conversions, and address-of	Mike Barnett	2011-05-03
*	Merge	Mike Barnett	2011-05-03
\|\
\| *	Fix creation of valid identifiers for methods with multi-dimensional	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
\|/
*	The decompilation is not guaranteed to get rid of all push statements and pop	Mike Barnett	2011-04-29
*	fixed a bug in struct handling	qadeer	2011-04-28
*	Add a method to the Sink that is responsible for creating a Boogie expression	Unknown	2011-04-28
*	modeling struct creation by default value	Unknown	2011-04-27
\|\
\| *	Model newly constructed structs as a constant DefaultStruct that has axioms that	Unknown	2011-04-27
* \|	first check in	qadeer	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