debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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#.
*	Get rid of F# dependencies - use System.Numerics and a custom Rational ↵	MichalMoskal	2010-12-02
\| \| \| \|	structure instead
*	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
\|
*	Dafny: Port commit part 1/2: Committing changed files.	tabarbe	2010-08-03
\| \| \| \|	Do not attempt to regenerate the Parser and Scanner files before the port of Boogie/Core is done, as these have undergone changes, but will not be committed until after the Core port.
*	Dafny: Renaming the DafnyPipeline source files in preparation for the commit ↵	tabarbe	2010-08-03
	of my port of that project.