debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	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
\|/ / /
* \| \|	More support for reals, especially real constants.	Mike Barnett	2011-05-08
* \| \|	Better error handling.	Mike Barnett	2011-05-08
* \| \|	Merge	Mike Barnett	2011-05-06
\|\ \ \
* \| \| \|	Cleanup of new LHS simplification and replaced the golden output with the	Mike Barnett	2011-05-06
* \| \| \|	simplifying lhs of assignment statements.	Mike Barnett	2011-05-05
\| * \| \|	added a few more axioms	qadeer	2011-05-04
\|/ / /
* \| \|	Merge	qadeer	2011-05-04
\|\ \ \
* \| \| \|	fixed a bug in block coalescer. previously, an unreachable block could have a...	qadeer	2011-05-04
\| * \| \|	Boogie build succeeded	CodeplexBot	2011-05-04
\|/ / /
* \| \|	Uniquified constant names generated for string literals	qadeer	2011-05-03
* \| \|	LetVC can get null label2absy from lazy inlining. So, I weakened the precond...	qadeer	2011-05-03