debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	(BCT) starting translators-as-plugins impl	t-espave	2011-08-15
*	Better message when an error happens.	Mike Barnett	2011-08-15
*	cleaning up & refactor	t-espave	2011-08-15
*	workaround corral bug (cannot handle parallel assignments)	qadeer	2011-08-12
*	various fixes to deal with bug in generic delegates	qadeer	2011-08-12
*	Merge	qadeer	2011-08-11
\|\
* \|	fixes for bug with generic delegates	qadeer	2011-08-11
\| *	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
\| \|/
\| *	(BCT) BREAKING CHANGE	t-espave	2011-08-11
\| *	(phone) fixed issues with anonymous xaml declarations.	t-espave	2011-08-10
\|/
*	(phone) back key handling via delegate detected	t-espave	2011-08-10
*	(phone) slicing to avoid self loops	t-espave	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	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
\|/
*	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
*	(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	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
\| *	(phone bct) monitoring pivot controls	t-espave	2011-08-04
\| *	(phone bct) moved some code to urihelper	t-espave	2011-08-03
\| *	Merge	t-espave	2011-08-03
\| \|\ \| \|/ \|/\|
* \|	Increase the name mangling to avoid name clashes in the Boogie program. In IL,	Mike Barnett	2011-08-03
\| *	(phone bct) user feedback, showing possibly anomalous nav targets	t-espave	2011-08-03
\|/
*	typo	t-espave	2011-08-03
*	(phone bct) tracking targets of back key navs.	t-espave	2011-08-02
*	Merge	t-espave	2011-08-02
\|\
* \|	(phone bct) default URI checks inlined	t-espave	2011-08-02
\| *	Unicode surrogate characters cannot be handled by Boogie. For now (forever?)	Mike Barnett	2011-08-02
* \|	(phone bct) methods inlined for modular analysis (fix)	t-espave	2011-08-02
\|/
*	further fixes in the translation of compiletime constants	qadeer	2011-08-01
*	Merge	t-espave	2011-08-01
\|\
* \|	(phone bct) compute fixpoint for necessary inlined methods (for modular analy...	t-espave	2011-08-01
* \|	control parsing creates batch file with several calls to corral for graph bui...	t-espave	2011-08-01
\| *	Fix in the assertion injector for putting the output on top of the input	Mike Barnett	2011-08-01
* \|	generating individual corral queries for page navigation	t-espave	2011-08-01
\|/
*	fix for exception when phoneControls are not set	t-espave	2011-08-01
*	more phone controls tracked for feedback	t-espave	2011-07-29