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
\|
*	Minor Changes in YieldTypeChecker	kuruis	2013-12-19
\|
*	various updates	qadeer	2013-12-09
\|
*	added the QED build configuration	qadeer	2013-12-02
\|
*	Fixed several build errors in the 'Checked' configuration.	wuestholz	2013-08-05
\|
*	Make 'Model' a proper project.	wuestholz	2013-07-26
\|
*	merge	Pantazis Deligiannis	2013-07-19
\|\
\| *	Split up the model viewer into a library and an application and added some ↵	wuestholz	2013-07-14
\| \| \| \| \| \| \| \|	functionality.
* \|	small update in options	pantazis	2013-06-12
\| \|
* \|	CVC4 Parser	pantazis	2013-06-12
\|/
*	Switch bvd to MSIL (instead of x86) target architecture	stobies	2012-03-26
\|
*	Link Model.cs in ModelViewer, so that BVD can be updated independtly of the ↵	Michal Moskal	2011-10-03
\| \| \| \|	rest of Boogie
*	fixed the key signing problem with houdini	qadeer	2011-08-05
\| \| \| \|	started adding bct provider
*	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.
*	Display numbers within +-%0.1 of a power of two as 2^N+M	MichalMoskal	2011-01-27
\|
*	Right-clicking on a state allows to display the source code for it	MichalMoskal	2011-01-26
\|
*	Add an icon. Get rid of SearchBox (not used).	MichalMoskal	2010-12-10
\|
*	Rename BVD binary to (suprise!) BVD	MichalMoskal	2010-12-08
\|
*	Added version.cs as link to those projects that were missing it	stobies	2010-12-06
\| \| \| \|	Select 4.0 client profile on all projects
*	Set output directory to Binaries/	MichalMoskal	2010-12-02
\|
*	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.
*	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
*	Start work on the generic namer	MichalMoskal	2010-10-26
\|
*	Move SkeletonItem to a separate file	MichalMoskal	2010-10-14
\|
*	Add interfaces for langauge providers. Start with VCC provider.	MichalMoskal	2010-10-12
\|
*	Put Model.cs in separate assembly. Fix signing/versioning with it.	MichalMoskal	2010-10-12
\|
*	Put in proper namespace, move files around.	MichalMoskal	2010-10-12
\|
*	Starting work on Boogie Model Viewer.	MichalMoskal	2010-10-12