debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: fixed build error	Rustan Leino	2012-03-09
*	Dafny: changed translation to be sensitive to refinement inheritance; this fe...	Rustan Leino	2012-01-09
*	Boogie: output number of proof obligations (asserts) along with timing inform...	Rustan Leino	2012-01-09
*	Dafny: make /infer:j (the new interval domain) the default abstract interpreter	Rustan Leino	2012-01-05
*	Dafny: compile to .exe only if there is a Main method; otherwise, compile to ...	Rustan Leino	2011-12-19
*	Dafny: Made sure that error locations refer to the Dafny program, even if the...	wuestholz	2011-12-15
*	Merge	Rustan Leino	2011-12-07
\|\
\| *	Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable well...	wuestholz	2011-12-07
* \|	Boogie: Added new abstract interpretation harness, which uses native Boogie E...	Rustan Leino	2011-12-05
\|/
*	Dafny: call C# compiler directly from inside Dafny, and optionally produce a ...	Rustan Leino	2011-11-22
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	Dafny: generate a compiler error upon encountering an assume statement	Rustan Leino	2011-09-11
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	- fixed a bug in DafnyModelUtils.fs (reading set values from models)	Unknown	2011-07-11
*	Added option to force Dafny compilation, even if verification fails.	Jason Koenig	2011-06-30
*	Renamed NonNullElements to NonNullDictionaryAndValues because the keys to dic...	mikebarnett	2011-03-10
*	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: removed CEV instrumentation	rustanleino	2011-02-03
*	Dafny: white-space deltas in source code	rustanleino	2011-02-02
*	Add functions generated in lambda-expansion of function body to top-level pro...	MichalMoskal	2010-12-17
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Dafny:	rustanleino	2010-09-14
*	Dafny: Made line endings consistent	tabarbe	2010-08-04
*	Dafny: Removed trailing spaces in code	tabarbe	2010-08-04
*	Dafny: DafnyDriver port part 1/3: Replacing old source files with ported version	tabarbe	2010-07-28
*	Dafny/DafnyDriver: Renaming source files in preparation for port commit	tabarbe	2010-07-28