debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Rename DLLs to non-generic names by prefixing "Boogie". Project names and	akashlal	2016-04-15
\| \| \| \|	namespaces remain the same.
*	Normalise line endings using a .gitattributes file. Unfortunately	Dan Liew	2015-06-28
\| \| \| \| \| \|	this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored.
*	Fix Boogie so it compiled with mono. Patch by Dan Liew.	Ally Donaldson	2014-01-14
\|
*	added the QED build configuration	qadeer	2013-12-02
\|
*	CVC4 Parser	pantazis	2013-06-12
\|
*	Removed old comments about "BASEMOVE" and other constructor calls, where the ↵	Unknown	2013-01-07
\| \| \| \|	conversion from Spec# into C# moved a constructor call
*	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.
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
\|
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
\| \| \| \|	Select 4.0 client profile on all projects
*	Factored out the ParserHelper class into a separate project and updated the ↵	wuestholz	2010-12-02
	files generated by Coco/R. This was done to support sharing of the Coco/R .frame files with Spec#.