debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Rustan Leino	2011-08-18
\|\
* \|	Dafny: fixed bug in looking at the arguments of the :induction attribute	Rustan Leino	2011-08-18
\| *	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
\| \| \|/ /