debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic ↵	Unknown	2012-03-05
\| \| \| \|	specifications
*	Dafny: beginning of the new refinement transformations	Rustan Leino	2012-01-05
\|
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored ↵	Rustan Leino	2011-11-15
\| \| \| \|	CommandLineOptions to separate the options that belong to these 3 tools.
*	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.
*	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.