debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: Added a 'Checked' configuration and fixed some runtime assertion viola...	wuestholz	2011-09-23
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed so...	wuestholz	2011-07-15
*	Dafny: Fixed some build issues with duplicated and malformed Code Contracts.	rustanleino	2011-01-13
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Eliminated dependencies on SpecSharp and CCI from Boogie.sln and Dafny.sln	qadeer	2010-12-01
*	Ported all projects to .NET Framework 4.0 in both Boogie.sln and Dafny.sln. ...	qadeer	2010-11-27
*	Update to VS2010.	MichalMoskal	2010-10-07
*	Fixed some infelicities in the project files.	mikebarnett	2010-08-04
*	fixed path to the binaries directory; there was an extra .."	qadeer	2010-08-03
*	Also build Boogie and Dafny projects in 32-bit configurations.	rustanleino	2010-07-30
*	Sign both of the Dafny projects and have Dafny.exe get a version number as well.	mikebarnett	2010-07-30
*	Dafny: DafnyDriver port part 3/3: Updating sources to reference new project.	tabarbe	2010-07-28
*	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