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.
*	Removed Dafny, Jennisys, Chalice, and BCT, which now live in different ↵	Rustan Leino	2013-03-05
\| \| \| \|	Codeplex repositories.
*	Updated PrepareBoogieZip.bat file for the binary release that just went out ↵	Rustan Leino	2012-10-22
\| \| \| \|	on Codeplex
*	Updated the 'PrepareBoogieZip.bat' script.	wuestholz	2012-10-01
\|
*	Updated 'PrepareBoogieZip.bat' to include Houdini.	wuestholz	2011-08-23
\|
*	Updated PrepareBoogieZip.bat to include BVD and smt2	rustanleino	2011-03-10
\| \| \| \|	Ignore duplicated else functions in models
*	Boogie: Updated 'PrepareBoogieZip.ba?t'.	wuestholz	2011-01-10
\|
*	Boogie: Updated 'PrepareBoogieZip.bat'.	wuestholz	2010-12-06
\|
*	Miscellaneous changes:	rustanleino	2010-10-22
\| \| \| \| \| \| \|	* Also copy CodeContractExtender in PrepareBoogieZip.bat * Added some comments and a new program in Test/textbook * Included refinement keywords in Chalice emacs mode * Used assignment instead of spec statement in DuplicatesVideo.chalice
*	Script that gathers the files for the binary distribution Boogie.zip.	rustanleino	2010-05-17