debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
* \| \|	Merge	Rustan Leino	2011-05-11
\|\ \ \
* \| \| \|	Dafny: fixed compilation bugs, added @-signs in front of identifiers to avoid...	Rustan Leino	2011-05-11
\| \|/ / \|/\| \|
\| * \|	Dafny: Fixed non-compiling C# code in DafnyRuntime.cs	Rustan Leino	2011-05-11
* \| \|	simplified the translation of assignments	qadeer	2011-05-10
* \| \|	Merge	Mike Barnett	2011-05-10
\|\ \ \
* \| \| \|	Oops. Last checkin did not contain the changes for the catch clause change when	Mike Barnett	2011-05-10
* \| \| \|	Changed the way variables corresponding to events are created. If the compiler	Mike Barnett	2011-05-10
\| * \| \|	Don't set logic to UFNIA when /useArrayTheory	Michal Moskal	2011-05-09
* \| \| \|	always translate enums as ints.	Mike Barnett	2011-05-09
\|/ / /