debian-boogie - Debian packaging for Boogie

	Commit message (Expand)	Author	Age
*	Another test checkin	Michal Moskal	2011-07-12
*	ported all the counterexample code to Michal's new Model class; the goal is t...	Unknown	2011-06-27
*	Dafny: compile quantifiers	rustanleino	2011-03-26
*	Re-enabled quantifier checking in the Checked configuration.	mikebarnett	2011-03-16
*	Turn off quantifier checking in the runtime checking.	mikebarnett	2011-03-14
*	Added a new solution configuration, Checked, that builds the Checked configur...	mikebarnett	2011-03-07
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
*	Set Id of Elements.	MichalMoskal	2011-02-21
*	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
*	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
*	Improve the generic model viewer	MichalMoskal	2010-11-06
*	Dafny: a partial first crack at a Dafny model-viewer provider, including capt...	rustanleino	2010-11-01
*	Implement struct printing	MichalMoskal	2010-10-14
*	Add DisplayNode class with default IDisplayNode implementation. Add IDisplayN...	MichalMoskal	2010-10-14
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12