debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: Fix parsing of if-then-else expressions, and don't require parentheses...	Rustan Leino	2011-04-21
*	Dafny: Alternative (and candidate replacement) syntax for declaring datatypes	Rustan Leino	2011-04-20
*	Dafny: added type "nat"	Rustan Leino	2011-04-19
*	Dafny: don't require parentheses in syntax of "choose" statements	Rustan Leino	2011-04-05
*	branch merge	Rustan Leino	2011-04-05
\|\
* \|	Dafny: Allow field selections and array-element selection as LHSs of assignme...	Unknown	2011-04-05
\| *	Dafny: fixed bug in induction over integers	Unknown	2011-04-04
\|/
*	Dafny:	rustanleino	2011-03-30
*	Dafny: refactoring to soon support more general assignment statements	rustanleino	2011-03-29
*	Dafny: Added support for an initializing call as part of the new-allocation s...	rustanleino	2011-03-27
*	Dafny: added "choose" operator on sets	rustanleino	2011-03-26
*	Dafny: improved and corrected physical/ghost distinction	rustanleino	2011-03-26
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	Dafny:	rustanleino	2011-03-06
*	Dafny: Added heuristic for when to turn on the induction tactic	rustanleino	2011-03-05
*	Dafny:	rustanleino	2011-03-04
*	Dafny: support for nested match expressions	rustanleino	2011-03-01
*	Dafny: Non-empty Visual-Studio error messages for related split-expr locations.	rustanleino	2011-02-27
*	Dafny: Improved scheme for splitting expressions. Also, report each split i...	rustanleino	2011-02-19
*	Dafny:	rustanleino	2011-02-17
*	Dafny: every decreases clause implicitly ends with a never-ending sequence of...	rustanleino	2011-02-03
*	Dafny: allow self-calls in function postconditions--these simply refer to the...	rustanleino	2011-02-03
*	Dafny: implemented a more precise scheme for allowing use of a function's rep...	rustanleino	2011-02-03
*	Dafny: replaced the user-defined $ite function with Boogie's built-in if-then...	rustanleino	2011-02-03
*	Dafny: removed CEV instrumentation	rustanleino	2011-02-03
*	Dafny: removed unused Position argument from CheckWellformed	rustanleino	2011-02-03
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
*	Dafny: added ensures clauses to functions	rustanleino	2011-02-02
*	Dafny: Fixed some build issues with duplicated and malformed Code Contracts.	rustanleino	2011-01-13
*	Dafny: Fixed error in printing an error message. Changed "function method" ...	rustanleino	2011-01-11
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Get rid of F# dependencies - use System.Numerics and a custom Rational struct...	MichalMoskal	2010-12-02
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Dafny: Improved default decreases clauses for methods and functions	rustanleino	2010-11-25
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Dafny: Record source positions of start/end curly braces for declaration con...	rustanleino	2010-10-27
*	Updated parser.cs files to pick up the new .frame improvements from boogiepar...	rustanleino	2010-10-26
*	Boogie:	rustanleino	2010-10-26
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Dafny: Compilation of multi-dimensional arrays	rustanleino	2010-09-21
*	Dafny:	rustanleino	2010-09-17
*	Dafny:	rustanleino	2010-09-14
*	Dafny: added a command-line option to change the prelude file	sboehme	2010-08-30
*	Dafny: fallback to ShallowType (elements of IndexField arrays seem to have Ty...	sboehme	2010-08-27
*	Dafny: added inlined functions making reads and updates of the heap explicit	sboehme	2010-08-27
*	More line ending fixups.	MichalMoskal	2010-08-06
*	Dafny: Made line endings consistent	tabarbe	2010-08-04
*	Dafny: Removed trailing spaces in code	tabarbe	2010-08-04
*	Fixed some infelicities in the project files.	mikebarnett	2010-08-04