Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Boogie: Removed trailing spaces in code | 2010-08-04 | ||
| | ||||
* | Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned ↵ | 2010-08-04 | ||
| | | | | it back off. | |||
* | Made consistent the way all of the C# projects sign themselves and include ↵ | 2010-07-30 | ||
| | | | | the version information. | |||
* | Boogie: Changed references from binary to project references. | 2010-07-27 | ||
| | ||||
* | Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code ↵ | 2010-07-21 | ||
| | | | | Contracts dll) in AbsInt, Isabelle, and Z3 | |||
* | Boogie: Changed how the references in AbsInt are referenced, and fixed a ↵ | 2010-07-19 | ||
| | | | | typo in the Spec# version of Z3's ProverInterface.ssc | |||
* | Boogie: I have successfully ported the AbsInt project. It passes all ↵ | 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. ↵ | 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. ↵ | 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 | 2009-08-18 | ||
| | ||||
* | Sign assemblies | 2009-08-17 | ||
| | ||||
* | Initial set of files. | 2009-07-15 | ||