debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Removed AIFramework from Boogie -- use native trivial or native interval-base...	boehmes	2012-09-27
*	Boogie: added /tracePOs option for printing out number of proof obligations w...	Unknown	2012-09-10
*	Dafny: support opening modules into the local scope	Jason Koenig	2012-07-30
*	Dafny: added structural refinement check	Jason Koenig	2012-07-29
*	Undo bad merge.	afd	2012-06-27
*	Dafny: Added tests.	chmaria	2012-06-12
*	Dafny: Fix in the CC rewriter options.	chmaria	2012-06-05
*	Dafny: Added infrastructure for runtime checking.	chmaria	2012-06-04
*	further refactoring of SI;	qadeer	2012-05-29
*	removed lazy inlining	qadeer	2012-04-28
*	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