debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Dafny: Added a 'Checked' configuration and fixed some runtime assertion ↵	wuestholz	2011-09-23
\| \| \| \|	violations.
*	Updated the Parser.cs and Scanner.cs files in Boogie and Dafny and removed ↵	wuestholz	2011-07-15
\| \| \| \|	some trailing whitespace.
*	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 ↵	wuestholz	2010-12-02
\| \| \| \| \| \|	files generated by Coco/R. This was done to support sharing of the Coco/R .frame files with Spec#.
*	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
\| \| \| \|	Removed references to Microsoft.Contracts.dll everywhere since that is available in .NET Framework 4.0.
*	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
\| \| \| \|	Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0).
*	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