debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Dafny: compilation of abstract modules, including local definitions (as in mo...	Jason Koenig	2012-07-17
*	Dafny: Implemented abstract modules	Jason Koenig	2012-06-26
*	Dafny: added experimental feature {:autocontracts} to de-clutter idiomatic sp...	Unknown	2012-03-05
*	Dafny: beginning of the new refinement transformations	Rustan Leino	2012-01-05
*	Boogie (and Dafny, with effects also on SscBoogie): I refactored CommandLine...	Rustan Leino	2011-11-15
*	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
*	Factored out the ParserHelper class into a separate project and updated the f...	wuestholz	2010-12-02
*	Get rid of F# dependencies - use System.Numerics and a custom Rational struct...	MichalMoskal	2010-12-02
*	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
*	Dafny: Port commit part 1/2: Committing changed files.	tabarbe	2010-08-03
*	Dafny: Renaming the DafnyPipeline source files in preparation for the commit ...	tabarbe	2010-08-03