debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Don't let /s be specified for stub files. (But keep the old code in case we	Mike Barnett	2011-10-23
*	Fixed two bugs related to structs: now a struct that is declared without an	Mike Barnett	2011-09-01
*	more string mangling	qadeer	2011-08-31
*	delegates/events implemented as multisets rather than linked lists	qadeer	2011-08-30
*	Merge	qadeer	2011-08-26
\|\
* \|	a small bug in GeneralHeap translation	qadeer	2011-08-26
\| *	(phone)data on results of analyses on market apps	t-espave	2011-08-26
* \|	Merge	qadeer	2011-08-26
\|\\|
* \|	some more string munging	qadeer	2011-08-26
\| *	(bct) removed ad-hoc string replacements, the problem is actually the encoding	t-espave	2011-08-25
* \|	fixed a bug: do not include the invoke procedure for thread delegates in the ...	qadeer	2011-08-25
* \|	fixed bug	qadeer	2011-08-23
\|/
*	(phone bct) boolean binding of control enabledness ignored (for now)	t-espave	2011-08-22
*	(phone bct) minor bugfixes found playing around with apps	t-espave	2011-08-19
*	continuned phone bct docs	t-espave	2011-08-19
*	fix in event translation for whole program analysis	qadeer	2011-08-17
*	Merge	qadeer	2011-08-17
\|\
* \|	added RealModulus	qadeer	2011-08-17
\| *	(phone) documentation	t-espave	2011-08-17
\|/
*	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
*	(phone) fixed problem with unknown type anonymous controls	t-espave	2011-08-16
*	Merge	t-espave	2011-08-16
\|\
* \|	saving navigation bad smells report	t-espave	2011-08-16
\| *	Made the split fields heap agree with the naming convention used for fields that	Mike Barnett	2011-08-16
* \|	(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