debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
*	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.
*	Make set iteration order deterministic	Michal Moskal	2011-12-07
\| \| \| \|	Make the set class generic
*	Fix contracts so runtime checking can be turned on.	mikebarnett	2011-03-07
\|
*	Get rid of F# dependencies - use System.Numerics and a custom Rational ↵	MichalMoskal	2010-12-02
\| \| \| \|	structure instead
*	Boogie:	rustanleino	2010-10-12
\| \| \| \| \| \|	* enhanced the printing of captured states * addressed some warnings issued by VS 2010 * some code formatting
*	Boogie: Removed some errors with code contracts (commenting out ↵	tabarbe	2010-08-27
\| \| \| \|	doubly-inherited requires statements), and set the code contracts settings to the correct compilation style for when runtime checking is turned on. (I did not turn on runtime checking, however).
*	Boogie: AIFramework port part 1/3: Committing new sources.	tabarbe	2010-08-26
\|
*	Boogie: Renaming the AIFramework sources in preparation for committal of my ↵	tabarbe	2010-08-26
\| \| \| \|	port of the project
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	* Added "deprecated" comment in help message about /interprocInfer switch. ↵	rustanleino	2010-02-18
\| \| \| \| \| \| \|	The functionality is currently broken. * Adjust procedure summaries also after processing call returns (used only in interprocedural inference, which is currently not really supported, but this change would be needed if we ever decide to support it) * Some other code clean-up, like removing unnecessary [Reads(...Owned)] attributes on [Pure] methods
*	Initial set of files.	mikebarnett	2009-07-15