debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	t-espave	2011-08-11
\|\
* \|	(phone) cancel/navigation on back key is now deep through calls. More info re...	t-espave	2011-08-11
\| *	Fixed problem where events in stubs were generating duplicate declarations.	Mike Barnett	2011-08-11
\| *	Added references to the AssertionInjector project so it can build again.	Mike Barnett	2011-08-11
\|/
*	Merge	t-espave	2011-08-11
\|\
* \|	(BCT) BREAKING CHANGE	t-espave	2011-08-11
\| *	Boogie build succeeded	CodeplexBot	2011-08-11
\| *	Merge	Aleksandar Milicevic	2011-08-10
\| \|\
\| * \|	Jennisys: started to work on synthesizing some methods. So far, only	Aleksandar Milicevic	2011-08-10
* \| \|	(phone) fixed issues with anonymous xaml declarations.	t-espave	2011-08-10
\| \|/ \|/\|
* \|	Merge	t-espave	2011-08-10
\|\ \
* \| \|	(phone) back key handling via delegate detected	t-espave	2011-08-10
\| * \|	Added "procedure-copy bounding" for lazy inlining	Unknown	2011-08-10
\| * \|	Merge	qadeer	2011-08-10
\| \|\ \ \| \|/ / \|/\| \|
* \| \|	(phone) slicing to avoid self loops	t-espave	2011-08-09
\| * \|	Merge	qadeer	2011-08-09
\| \|\ \
\| * \| \|	further updates to bit vector analysis	qadeer	2011-08-09
* \| \| \|	phone nav building stats	t-espave	2011-08-09
* \| \| \|	phone nav building "doc"	t-espave	2011-08-09
\| \|/ / \|/\| \|
* \| \|	(phone) fully automated phone nav graph building	t-espave	2011-08-09
\| * \|	Merge	qadeer	2011-08-09
\| \|\ \ \| \|/ / \|/\| \|
\| * \|	more changes to bitvector analysis	qadeer	2011-08-09
* \| \|	Merge	t-espave	2011-08-08
\|\\| \|
* \| \|	(phone bct) filtering out nonpages for boogie queries, faster but maybe a les...	t-espave	2011-08-08
\| \|/ \|/\|
\| *	another bug fix in bct	qadeer	2011-08-08
\| *	added a new file and fixed a bug in bct	qadeer	2011-08-08
\| *	Merge	qadeer	2011-08-08
\| \|\ \| \|/ \|/\|
\| *	various changes to boogie for bitvector analysis and bctprovider	qadeer	2011-08-08
* \|	Added option "getMeHere" so that calls to GetMeHere.Assert(e) become "assert e"	Mike Barnett	2011-08-06
\|/
*	fixed a bug in delegate dispatcher name for generic invoke methods	qadeer	2011-08-05
*	further updates to bctprovider	qadeer	2011-08-05
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	(phone bct) nav graph building (mostly) automated	t-espave	2011-08-05
*	Merge	Aleksandar Milicevic	2011-08-05
\|\
* \|	Jennisys:	Aleksandar Milicevic	2011-08-05
\| *	first add	qadeer	2011-08-05
\| *	fixed the key signing problem with houdini	qadeer	2011-08-05
\| *	further changes for making houdini work	qadeer	2011-08-04
\| *	Merge	qadeer	2011-08-04
\| \|\
\| * \|	cleaned up houdini options	qadeer	2011-08-04
\| \| *	Merge	Rustan Leino	2011-08-04
\| \| \|\
\| \| \| *	Merge	Mike Barnett	2011-08-04
\| \| \| \|\ \| \| \|_\|/ \| \|/\| \|
\| \| \| *	Added new option /captureState (/c) for generating a capture state assumption	Mike Barnett	2011-08-04
\| * \| \|	Merge	t-espave	2011-08-04
\| \|\ \ \ \| \| \| \|/ \| \| \|/\|
\| * \| \|	(phone bct) anonymous control support	t-espave	2011-08-04
\| \| * \|	Changed name mangling (again) to avoid name clashes.	Mike Barnett	2011-08-04
\| \| * \|	Merge	qadeer	2011-08-04
\| \| \|\ \
\| \| * \| \|	full port of houdini project	qadeer	2011-08-04
\| * \| \| \|	Merge	t-espave	2011-08-04
\| \|\ \ \ \ \| \| \| \|/ / \| \| \|/\| \|
\| * \| \| \|	(phone bct) monitoring pivot controls	t-espave	2011-08-04