debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	Accomodate for recent changes in Z3 V2 model format	MichalMoskal	2011-02-18
\|
*	Add information about field being volatile	MichalMoskal	2010-12-14
\|
*	Add Func.OptEval function and some docs	MichalMoskal	2010-12-14
\|
*	Fix typo	MichalMoskal	2010-12-10
\|
*	Add ToString() overrides to help in debugging	MichalMoskal	2010-12-10
\|
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
\| \| \| \|	Select 4.0 client profile on all projects
*	Introduce node categories; sort fields based on that not special characters	MichalMoskal	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.
*	Improve the generic model viewer	MichalMoskal	2010-11-06
\|
*	Dafny: a partial first crack at a Dafny model-viewer provider, including ↵	rustanleino	2010-11-01
\| \| \| \|	captureState mark-ups in the Boogie code generated from Dafny
*	Implement struct printing	MichalMoskal	2010-10-14
\|
*	Add DisplayNode class with default IDisplayNode implementation. Add ↵	MichalMoskal	2010-10-14
\| \| \| \|	IDisplayNode.State.
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12