debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	Boogie: Basetypes port 1/3: Committing new sources	tabarbe	2010-08-27
\|
*	Boogie: Renaming the Basetypes sources in preparation for my port commit.	tabarbe	2010-08-27
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Update to F# 1.9.9.9.	MichalMoskal	2010-02-18
\|
*	* 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
*	Use the new F# names for bigint type	MichalMoskal	2009-10-30
\|
*	Sign assemblies	stobies	2009-08-17
\|
*	Initial set of files.	mikebarnett	2009-07-15