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
*	Moved the statement traverser's operand stack (used for explicit push/pop/dup	Unknown	2012-09-09
*	Fix the whole-program translator so that exception handling is done	Unknown	2012-08-23
*	Make the modelExceptions option an integer.	Unknown	2012-08-22
*	Fix a bug when static fields are used in as operands for ++ or --.	Unknown	2012-07-31
*	Add an option to model exceptional control flow or not. When it is false:	Unknown	2012-07-31
*	When translating an assighment, leave the source of the assignment on the	Unknown	2012-06-02
*	Fix for addressof expressions.	Unknown	2012-05-18
*	Add options to control the emission of free ensures for	Unknown	2012-04-16
*	Removed expression simplifier (actually just commented	Unknown	2012-04-15
*	Added "free ensures" to procedures encoding the allocatedness	Unknown	2012-04-10
*	Fix a lot of the translation of "op=" expressions	Unknown	2012-04-09
*	Changed the BCT solution so it uses the CodePlex version of CCI (instead	Mike Barnett	2012-03-30
*	more work on op-assign expressions. (unfinished)	Mike Barnett	2012-03-11
*	Adapting to new decompiler.	Mike Barnett	2012-02-27
*	Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from	Mike Barnett	2012-02-05
*	Separate out the concepts of boxing	Mike Barnett	2012-01-26
*	Make a copy of a struct value being passed to a method	Mike Barnett	2012-01-10
*	Fix call to struct copy ctor.	Mike Barnett	2012-01-10
*	Change the copy constructor for struct types so that it returns the copy	Mike Barnett	2012-01-09
*	Copy structs that are passed by value as method call arguments.	Mike Barnett	2012-01-04
*	For now, just ignore "address of" nodes and translate the expression of which	Mike Barnett	2012-01-03
*	Translate AddressOf expressions correctly.	Mike Barnett	2011-11-16
*	Load all assemblies before doing anything else so that the unification for	Mike Barnett	2011-11-16
*	For some reason, these didn't get into the last commit.	Mike Barnett	2011-11-14
*	Many, many bug fixes related to generics and some other random problems.	Mike Barnett	2011-11-10
*	Major changes to the translator traversers because they now are based on the	Mike Barnett	2011-10-31
*	Fixed the generation of names for datatype functions to use the API for	Mike Barnett	2011-10-31
*	Fixed two bugs related to structs: now a struct that is declared without an	Mike Barnett	2011-09-01
*	delegates/events implemented as multisets rather than linked lists	qadeer	2011-08-30
*	added RealModulus	qadeer	2011-08-17
*	cleaning up & refactor	t-espave	2011-08-15
*	Merge	qadeer	2011-08-11
\|\
* \|	fixes for bug with generic delegates	qadeer	2011-08-11
\| *	(phone) cancel/navigation on back key is now deep through calls. More info re...	t-espave	2011-08-11
\|/
*	(phone) slicing to avoid self loops	t-espave	2011-08-09
*	(phone) fully automated phone nav graph building	t-espave	2011-08-09
*	another bug fix in bct	qadeer	2011-08-08
*	Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"	Mike Barnett	2011-08-06
*	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
*	further fixes in the translation of compiletime constants	qadeer	2011-08-01
*	refactored phonehelper	t-espave	2011-07-28
*	fixed bug in constant translation	qadeer	2011-07-27
*	Merge	t-espave	2011-07-26
\|\
\| *	added translation for RightShift and LeftShift	Unknown	2011-07-26
* \|	bugfix on null assignments	t-espave	2011-07-26
* \|	tracking new controls	t-espave	2011-07-26
\|/
*	weeding out non-set $exception as feedback handling issues	t-espave	2011-07-26
*	ui handlers override checked for output geenration	t-espave	2011-07-26
*	adding checks and code injection for phone feedback checking	t-espave	2011-07-25