debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed the method DefaultValue from the sink: if a default value of a type	Mike Barnett	2011-05-29
*	Merge	Mike Barnett	2011-05-29
\|\
* \|	When translating the "thisArgument" of a method call, if it translates to an	Mike Barnett	2011-05-29
\| *	Dafny: changed syntax of havoc statements from "havoc X;" to "X := *;"	Rustan Leino	2011-05-28
\| *	Merge	Rustan Leino	2011-05-28
\| \|\ \| \|/ \|/\|
\| *	Dafny: added constructors	Rustan Leino	2011-05-28
* \|	Fix translation for field dereference when the type of the field is a struct.	Mike Barnett	2011-05-28
\|/
*	Merge	Mike Barnett	2011-05-28
\|\
* \|	Translate assignments to parameters that are of a struct type correctly. Note	Mike Barnett	2011-05-28
\| *	Merge	Rustan Leino	2011-05-27
\| \|\
\| * \|	Dafny: fixed parsing bug that prevented all expressions from occurring in mat...	Rustan Leino	2011-05-27
\| \| *	Merge	Rustan Leino	2011-05-27
\| \| \|\
\| \| * \|	Dafny:	Rustan Leino	2011-05-27
\| * \| \|	Dafny: fixed compilation bug that produced an extraneous comma in the target ...	Rustan Leino	2011-05-27
\| \| \|/ \| \|/\|
\| * \|	Merge	Rustan Leino	2011-05-27
\| \|\ \
\| \| * \	Merge	Jason Koenig	2011-05-27
\| \| \|\ \ \| \|_\|/ / \|/\| \| \|
\| \| * \|	Better VisualStudio plugin feedback.	Jason Koenig	2011-05-27
* \| \| \|	Merge	Mike Barnett	2011-05-27
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|
* \| \| \|	Translate assignments of structs as a call to a (default) copy constructor	Mike Barnett	2011-05-27
\| \| * \|	Merge	Rustan Leino	2011-05-27
\| \| \|\ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Dafny: permanently changed the syntax of "datatype" declarations to what prev...	Rustan Leino	2011-05-27
\| * \| \|	Dafny: retired "use" statements	Rustan Leino	2011-05-27
\| * \| \|	Dafny: added chaining operators	Rustan Leino	2011-05-27
\| * \| \|	Merge	Rustan Leino	2011-05-26
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	Dafny:	Rustan Leino	2011-05-26
* \| \| \|	Merge	Mike Barnett	2011-05-26
\|\ \ \ \ \| \| \|_\|/ \| \|/\| \|
* \| \| \|	Beginning of representing structs as values on the heap, but without object	Mike Barnett	2011-05-26
\| \| \| *	Dafny: fixed bug in induction-tactic heuristic (should never pick values whos...	Rustan Leino	2011-05-26
\| \| \| *	Dafny: fixed bug (ill-formed Boogie) in translation of "foreach" for sequences	Rustan Leino	2011-05-26
\| * \| \|	VisualStudio plugin now informs the user of a timeout.	Jason Koenig	2011-05-26
\| \| * \|	Dafny implementation: removed always-true "allowGhostFeatures" parameter	Rustan Leino	2011-05-26
\| \| * \|	Dafny: retired the "call" keyword	Rustan Leino	2011-05-26
\| \| * \|	Dafny: cleaned up parser, moved foreach statement from AssignStmt<> parsing t...	Rustan Leino	2011-05-25
\| \| * \|	Dafny: changed local "var" introductions to use new VarDeclStmt instead of pa...	Rustan Leino	2011-05-24
\| \| * \|	Dafny:	Rustan Leino	2011-05-24
\| * \| \|	merge	Sam Blackshear	2011-05-24
\| \|\ \ \ \| \|/ / / \|/\| \| \|
\| * \| \|	New example to demonstrate exception support that would be convenient for Boo...	Sam Blackshear	2011-05-24
\| \| * \|	Dafny: refactored code into separate method ResolveIdentifierSequence and all...	Rustan Leino	2011-05-22
\| \| * \|	Dafny: allow class names to be used when referring to static functions (and, ...	Rustan Leino	2011-05-21
* \| \| \|	Created an API so that a MetadataTraverser is used to translate a set of	Mike Barnett	2011-05-21
\| \|_\|/ \|/\| \|
\| \| *	Dafny:	Rustan Leino	2011-05-21
\| \|/ \|/\|
* \|	Boogie build succeeded	CodeplexBot	2011-05-20
* \|	Dafny: added alternative statement and alternative-loop statement	Rustan Leino	2011-05-19
* \|	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
\| \|/ / \|/\| \|