debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	mschwerhoff	2011-08-18
\|\
* \|	Chalice: Added a script gathering all files necessary and/or of interest for ...	mschwerhoff	2011-08-18
\| *	fix in event translation for whole program analysis	qadeer	2011-08-17
\| *	Merge	qadeer	2011-08-17
\| \|\
\| * \|	added RealModulus	qadeer	2011-08-17
\| \| *	Merge	t-espave	2011-08-17
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	(phone) documentation	t-espave	2011-08-17
\| * \|	Merge	qadeer	2011-08-17
\| \|\ \
\| * \| \|	minor refactoring	qadeer	2011-08-17
\| * \| \|	deleted lazyinlining option 2 and 3	qadeer	2011-08-17
\| \| \|/ \| \|/\|
\| \| *	Merge	Aleksandar Milicevic	2011-08-16
\| \| \|\ \| \| \|/ \| \|/\|
\| \| *	Jennisys:	Aleksandar Milicevic	2011-08-16
\| * \|	(bct) skeleton of plugin infrastructure. for now the code is essentially the ...	t-espave	2011-08-16
\| * \|	Merge	t-espave	2011-08-16
\| \|\ \
\| * \| \|	(phone) fixed problem with unknown type anonymous controls	t-espave	2011-08-16
\| \| * \|	Merge	Michal Moskal	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
\| \| * \| \|	Chalice build succeeded, 58 test(s) failed	CodeplexBot	2011-08-16
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge	mschwerhoff	2011-08-16
\|\ \ \ \
\| \| \| \| *	Merge	Aleksandar Milicevic	2011-08-15
\| \| \| \| \|\ \| \| \|_\|_\|/ \| \|/\| \| \|
\| \| \| \| *	Jennisys:	Aleksandar Milicevic	2011-08-15
\| \| * \| \|	(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
\| \| \|/ \| \|/\|
* / \|	Chalice: Changed tests/runalltests.bat such that additional parameters can be...	mschwerhoff	2011-08-15
\|/ /
* \|	Jennisys:	Aleksandar Milicevic	2011-08-14
* \|	Jennisys: added some more infrastructure for synthesizing read only methods, so	Aleksandar Milicevic	2011-08-13
* \|	Merge	Aleksandar Milicevic	2011-08-12
\|\ \
* \| \|	Jennisys:	Aleksandar Milicevic	2011-08-12
\| * \|	workaround corral bug (cannot handle parallel assignments)	qadeer	2011-08-12
\| * \|	Merge	qadeer	2011-08-12
\| \|\ \
\| * \| \|	various fixes to deal with bug in generic delegates	qadeer	2011-08-12
\| \| * \|	Chalice: Disallow credit expressions in the specification of functions.	stefanheule	2011-08-12
\| * \| \|	Merge	qadeer	2011-08-11
\| \|\ \ \
\| * \| \| \|	fixes for bug with generic delegates	qadeer	2011-08-11
\| \| \| * \|	Dafny: Fixed a bug in the printer that led to a stack overflow.	wuestholz	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
\| \| \|/ /
\| \| * \|	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