debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Merge	Mike Barnett	2011-05-19
\|\
* \|	Unify translation of arguments so the same code is used for IMethodCall and	Mike Barnett	2011-05-19
\| *	Merge	Rustan Leino	2011-05-19
\| \|\
\| * \|	Dafny: let verifier, not the resolver, check for missing cases in match expre...	Rustan Leino	2011-05-19
\| \| *	merge	Unknown	2011-05-19
\| \| \|\
\| \| \| *	close the file stream opened by the parser	Unknown	2011-05-19
\| \| \|/ \| \|/\|
\| \| *	fixed the axiom about TypeOf	Unknown	2011-05-18
\| \|/ \|/\|
\| *	Merge	Rustan Leino	2011-05-18
\| \|\ \| \|/ \|/\|
\| *	Dafny: added set comprehension expressions	Rustan Leino	2011-05-18
* \|	Fixed array construction	qadeer	2011-05-17
* \|	added another axiom	Unknown	2011-05-17
* \|	Merge	Mike Barnett	2011-05-17
\|\ \
* \| \|	If a method has been translated as a function, generate a function call and	Mike Barnett	2011-05-17
\| * \|	Merge	qadeer	2011-05-17
\| \|\ \
\| * \| \|	added spec for GetType	qadeer	2011-05-17
\|/ / /
\| * /	Boogie build succeeded	CodeplexBot	2011-05-17
\| \|/
\| *	Merge	Rustan Leino	2011-05-16
\| \|\ \| \|/ \|/\|
\| *	Dafny: Test case for sequence of boxed booleans	Rustan Leino	2011-05-16
\| *	Dafny: To help verifications involving sequences of (boxed) booleans along, a...	Rustan Leino	2011-05-16
* \|	Fix command-line option processing.	Mike Barnett	2011-05-16
* \|	bug fixes	qadeer	2011-05-16
* \|	Fix break.	Mike Barnett	2011-05-16
* \|	new regression output	Mike Barnett	2011-05-16
\|\ \
* \ \	Merge	Mike Barnett	2011-05-16
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	merge	Mike Barnett	2011-05-16
* \| \|	Merge	Mike Barnett	2011-05-16
\| \| *	Add extern declarations to procedures.	Mike Barnett	2011-05-16
\| \| *	Mark procedures/functions as "extern" if they are defined in a different	Mike Barnett	2011-05-16
\| * \|	Merge	qadeer	2011-05-16
\| \|\ \
\| * \| \|	convert assert to requires	qadeer	2011-05-16
\|/ / /
\| * \|	Dafny: added some test cases that use nat	Rustan Leino	2011-05-16
\| * \|	Dafny: added optional range expressions to logical quantifiers, preparing for...	Rustan Leino	2011-05-15
\|/ /
* \|	Merge	Rustan Leino	2011-05-14
\|\ \
* \| \|	Dafny: fixed bug in quantifier bounds discovery	Rustan Leino	2011-05-14
\| * \|	Boogie build failed	CodeplexBot	2011-05-14
\|/ /
* \|	Dafny: fixed typo in parser code	Rustan Leino	2011-05-13
* \|	Merge	Rustan Leino	2011-05-13
\|\ \
* \| \|	Boogie: added features to help with modular verification. In particular, defi...	Rustan Leino	2011-05-13
* \| \|	Cleaner version of ghost loop termination example.	Unknown	2011-05-13
* \| \|	Add source file (Expression Design) for the BVD icon in case anyone ever need...	Michal Moskal	2011-05-12
* \| \|	Dafny: fixed bugs in resolution of multi-dimensional arrays	Rustan Leino	2011-05-12
* \| \|	Merge	Rustan Leino	2011-05-12
\|\ \ \
* \| \| \|	Dafny: forbid "decreases *" on ghost loops	Rustan Leino	2011-05-12
\| \| \| *	Merge	Mike Barnett	2011-05-12
\| \| \| \|\ \| \| \|_\|/ \| \|/\| \|
\| \| \| *	Trying to fix the bound expression simplifier.	Mike Barnett	2011-05-12
\| * \| \|	added examples of generics and string support needed by Poirot	10shb	2011-05-12
\|/ / /
* \| \|	Merge	Rustan Leino	2011-05-11
\|\ \ \
* \| \| \|	More files for Hg to ignore	Rustan Leino	2011-05-11
\| * \| \|	first cut at handling generics	qadeer	2011-05-11
\| \| \|/ \| \|/\|
\| \| *	Dafny:	Rustan Leino	2011-05-11