debian-boogie - Debian packaging for Boogie

	Commit message (Collapse)	Author	Age
...
*	Boogie: AIFramework port part 3/3: Committing reference changes, edit to ↵	tabarbe	2010-08-26
\| \| \| \|	Core to jive with recent changes made to the cce class.
*	Boogie: Committing changed references	tabarbe	2010-08-20
\|
*	Boogie: Fixed some doubly-inherited-contract occurrences.	tabarbe	2010-08-20
\|
*	Boogie: Removed an old task comment	tabarbe	2010-08-19
\|
*	Boogie: Added boolean code expressions (sans well-formedness checks on the ↵	rustanleino	2010-08-10
\| \| \| \|	input).
*	Boogie: Sorry about that - no need for the conditional compilation	tabarbe	2010-08-09
\|
*	Boogie: Added the #if CONTRACTS_FULL statement around all usages of cce.cs	tabarbe	2010-08-09
\|
*	More line ending fixups.	MichalMoskal	2010-08-06
\|
*	Boogie: Removed trailing spaces in code	tabarbe	2010-08-04
\|
*	Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned ↵	tabarbe	2010-08-04
\| \| \| \|	it back off.
*	Made consistent the way all of the C# projects sign themselves and include ↵	mikebarnett	2010-07-30
\| \| \| \|	the version information.
*	Boogie: Changed references from binary to project references.	tabarbe	2010-07-27
\|
*	Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code ↵	tabarbe	2010-07-21
\| \| \| \|	Contracts dll) in AbsInt, Isabelle, and Z3
*	Boogie: Changed how the references in AbsInt are referenced, and fixed a ↵	tabarbe	2010-07-19
\| \| \| \|	typo in the Spec# version of Z3's ProverInterface.ssc
*	Boogie: I have successfully ported the AbsInt project. It passes all ↵	tabarbe	2010-07-16
\| \| \| \| \| \|	regressions, although DAFNY NEEDS TO BE REBUILT TO RECOGNIZE the changed AbsInt DLL. Address any error complaints to t-abarbe@microsoft.com
*	Boogie: Renamed the AbsInt sources for use in the port I have done. ↵	tabarbe	2010-07-16
\| \| \| \|	Regressions with the changed code will take ~10 minutes. I hope I don't break anyone's build.
*	* 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
*	Also sign AbsInt.dll	stobies	2009-08-18
\|
*	Sign assemblies	stobies	2009-08-17
\|
*	Initial set of files.	mikebarnett	2009-07-15