debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
...
* \| \|	Dafny: compiler fixes	Rustan Leino	2011-05-31
\| * \|	Fixed/improved the handling of conditional expressions.	Mike Barnett	2011-05-31
\| * \|	Added bitwise operations.	Mike Barnett	2011-05-31
\| * \|	Lots of small bug fixes: conversions, overloaded operations on real numbers.	Mike Barnett	2011-05-31
* \| \|	Merge	Rustan Leino	2011-05-31
\|\\| \|
* \| \|	Dafny: compile multi-assignments, compile calls with more general LHSs	Rustan Leino	2011-05-31
* \| \|	Dafny: translate call statements with fancy LHSs	Rustan Leino	2011-05-31
* \| \|	Dafny: Translate general LHSs for var and := (not yet for call, no compilatio...	Rustan Leino	2011-05-30
\| * \|	Don't translate method contracts until method information (parameter map, etc.)	Mike Barnett	2011-05-30
\| \|/
\| *	Handle more conversions.	Mike Barnett	2011-05-29
\| *	Fixed struct ctors so that they don't return the "this" value, but just	Mike Barnett	2011-05-29
\| *	Fixes for a bunch of different bugs. Translate default value for doubles,	Mike Barnett	2011-05-29
\| *	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