debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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 bug in extract loops by ensuring that loop extraction is done in ↵	qadeer	2010-09-01
\| \| \| \|	nesting order
*	created a new build target called z3apidebug.	qadeer	2010-08-29
\| \| \| \| \|	only this target has a compile time dependency on Microsoft.Z3.dll. To compile this target, a reference to z3api must be manually added to BoogieDriver.
*	Boogie: Removed some errors with code contracts (commenting out ↵	tabarbe	2010-08-27
\| \| \| \|	doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).
*	Boogie: Changed the cce classes into one separate project, which every other ↵	tabarbe	2010-08-27
\| \| \| \|	project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
*	Boogie: Graph port 2/3: Committing new source file, deleting old one	tabarbe	2010-08-27
\|
*	Boogie: Graph port 1/3: Committing new sources	tabarbe	2010-08-27
\|
*	Boogie: Renaming the Graph files in preparation for the commit of my port.	tabarbe	2010-08-27
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	* Added "deprecated" comment in help message about /interprocInfer switch. ↵	rustanleino	2010-02-18
\| \| \| \| \| \| \|	The functionality is currently broken. * Adjust procedure summaries also after processing call returns (used only in interprocedural inference, which is currently not really supported, but this change would be needed if we ever decide to support it) * Some other code clean-up, like removing unnecessary [Reads(...Owned)] attributes on [Pure] methods
*	Sign assemblies	stobies	2009-08-17
\|
*	Initial set of files.	mikebarnett	2009-07-15