debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	Update URL to boogie-partners to its new location on GitHub.	Dan Liew	2015-06-28
\|
*	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.
*	Boogie: improved parser makefile	Unknown	2012-09-19
\|
*	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#.
*	Boogie: Committing changed source files	tabarbe	2010-08-20
\|
*	Unified the .frame files so that both Boogie and Dafny use exactly the same ↵	mikebarnett	2010-06-25
\| \| \| \|	ones.
*	Updated the frame files to work with the latest Coco/R. This entails not ↵	mikebarnett	2010-06-22
\| \| \| \| \| \|	having them in this repository because of license issues. Instead, they must be downloaded from http://boogiepartners.codeplex.com/ and then copied into the appropriate directories. Lots of code changes to compensate for the new frame files.
*	Initial set of files.	mikebarnett	2009-07-15