debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	a bug fix in model parsing	qadeer	2011-11-30
\|
*	fixed a bug in model parsing	qadeer	2011-11-28
\|
*	fixed another bug in model parser related to datatype values	qadeer	2011-11-14
\| \| \| \|	cleaned up the code related to v1model
*	some refactoring suggested by Michal	qadeer	2011-11-07
\|
*	change in model parsing with datatype values	qadeer	2011-11-07
\|
*	Performance improvements in BVD	Michal Moskal	2011-10-19
\|
*	Added some extra functionality to Model code for corral	Unknown	2011-09-13
\|
*	Another test checkin	Michal Moskal	2011-07-12
\|
*	ported all the counterexample code to Michal's new Model class; the goal is ↵	Unknown	2011-06-27
\| \| \| \|	to eliminate the class ErrorModel from the codebase.
*	Dafny: compile quantifiers	rustanleino	2011-03-26
\| \| \| \| \| \|	Dafny: allow {:induction} attribute to take an explicit list of bound variables on which to apply induction Dafny: split expressions when proving function postconditions Boogie and BVD: updated copyright year ranges
*	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 ↵	mikebarnett	2011-03-07
\| \| \| \|	configuration of each project. Turned on runtime checking and reference assembly generation for all of the projects, but only in the Checked configuration.
*	Handle as-array[...] model elements	MichalMoskal	2011-02-23
\|
*	Parse else-> clauses in the model	MichalMoskal	2011-02-23
\| \| \| \|	Disable MODEL_PARTIAL in SMTLib
*	Set Id of Elements.	MichalMoskal	2011-02-21
\| \| \| \|	Add some explanation at the beginning of the file.
*	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