debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
\| * \| \| \|	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
\| \| \| * \| \|	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
\| \| \| * \|	Fix null-ref	Michal Moskal	2011-08-07
\| * \| \| \|	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