| Commit message (Collapse) | Author | Age |
|
|
|
| |
the version information.
|
| |
|
|
|
|
| |
Contracts dll) in AbsInt, Isabelle, and Z3
|
|
|
|
| |
typo in the Spec# version of Z3's ProverInterface.ssc
|
|
|
|
|
|
| |
regressions, although DAFNY NEEDS TO BE REBUILT TO RECOGNIZE the changed AbsInt DLL.
Address any error complaints to t-abarbe@microsoft.com
|
|
|
|
| |
Regressions with the changed code will take ~10 minutes. I hope I don't break anyone's build.
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
|
|