debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: fixed typo in latex mode	Unknown	2012-09-05
*	DafnyExtension: don't duplicate names of inherited identifiers	Unknown	2012-08-30
*	Dafny: for refinements, don't consider a newly provided predicate body to be ...	Unknown	2012-08-30
*	DafnyExtension: changed how "_" is displayed (now display as a keyword, not a...	Unknown	2012-08-30
*	Dafny: allow "_" as don't-care variable name	Unknown	2012-08-30
*	Dafny: fixed bug in checking postconditions of functions that mention the res...	Unknown	2012-08-29
*	DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component)	Unknown	2012-08-29
*	Dafny: fixed contract violation in parser (for non-parsing Lhs production)	Unknown	2012-08-29
*	A small fix in variable definition analysis.	Unknown	2012-08-29
*	Added generation of invariants to restrict source location to sensible values.	Egor Kyshtymov	2012-08-28
*	DafnyExtension: don't reverify a buffer with no changes	Rustan Leino	2012-08-27
*	Dafny: fixed contract bug in resolver	Rustan Leino	2012-08-27
*	Fix the whole-program translator so that exception handling is done	Unknown	2012-08-23
*	Make the modelExceptions option an integer.	Unknown	2012-08-22
*	Added group information to race error reporting.	Egor Kyshtymov	2012-08-22
*	Boogie build succeeded	CodeplexBot	2012-08-22
*	Merge	Rustan Leino	2012-08-21
\|\
* \|	DafnyExtensions: better error handling	Rustan Leino	2012-08-21
\| *	Extra debugging output for Houdini	Unknown	2012-08-21
\|/
*	Dafny and Boogie: get rid of 'static' fields in parser	Rustan Leino	2012-08-21
*	Fixed problem where SOURCE variables were not being generated.	Unknown	2012-08-20
*	Added functionality for race error reporting.	Egor Kyshtymov	2012-08-20
*	DafnyExtension: fixed bad merge	Rustan Leino	2012-08-17
*	Merge	Rustan Leino	2012-08-17
\|\
* \|	DafnyExtension: improved concurrency behavior	Unknown	2012-08-17
\| *	DafnyExtension: report out-of-time and out-of-memory errors	Rustan Leino	2012-08-17
\|/
*	DafnyExtension: toward some fixes	Unknown	2012-08-17
*	DafnyExtension: simplified display of type names and field names	Unknown	2012-08-17
*	DafnyExtension: various improvements	Unknown	2012-08-16
*	Fixed bug where source location attributes are not being attached to a CHECK	Unknown	2012-08-16
*	DafnyExtension: improvements	Rustan Leino	2012-08-15
*	DafnyExtension: do verification in a non-UI thread	Rustan Leino	2012-08-15
*	DafnyExtension: fixed more missing cases for hover texts	Unknown	2012-08-15
*	Dafny: fixed some bugs in the newly added DafnyExtension code	Unknown	2012-08-15
*	Merge	Unknown	2012-08-15
\|\
* \|	Dafny: added Statement.SubExpressions getter	Unknown	2012-08-15
* \|	Dafny: added Statement.SubExpressions getter	Unknown	2012-08-15
* \|	Dafny: removed the defunct "havoc" keyword from various source-code highlighters	Unknown	2012-08-15
\| *	Boogie build succeeded	CodeplexBot	2012-08-15
* \|	Merge	Unknown	2012-08-14
\|\\|
* \|	Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)	Unknown	2012-08-14
* \|	Dafny: two bug fixes (resolution crashing on bad input, DafnyExtension crashi...	Unknown	2012-08-14
\| *	Also updated test15	Rustan Leino	2012-08-14
\| *	Update test suite for commit 8a59fbb7ee34.	Peter Collingbourne	2012-08-14
\| *	Added GPUVerifyBoogieDriver project.	Unknown	2012-08-14
\| *	Separated race checking into logging and checking calls. This simplifies	Unknown	2012-08-14
\| *	Removed some dud code for handling nested maps, which we no longer support.	Unknown	2012-08-13
\| *	Some more code cleanup related to removal of the "divided" option.	Unknown	2012-08-13
\| *	Removed code related to "divided" option.	Unknown	2012-08-13
\|/
*	Merge	Unknown	2012-08-13
\|\