| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
references of simplify's dependents.
|
| |
|
|
| |
committing my port of Simplify.csproj.
|
| |
|
|
| |
no longer necessarry.
|
| | |
|
| |
|
|
| |
commiting my port of the project.
|
| |
|
|
| |
structured.
|
| | |
|
| |
|
|
| |
rather than Provers.Z3. I updated that.
|
| |
|
|
| |
that it matches the namespace.
|
| |
|
|
| |
Contracts dll) in AbsInt, Isabelle, and Z3
|
| |
|
|
| |
Contracts Extensions - utility methods for the port that are not present in Code Contracts.)
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
of the project.
|
| | |
|
| |
|
|
| |
typo in the Spec# version of Z3's ProverInterface.ssc
|
| |
|
|
| |
it. Sorry.
|
| | |
|
| |
|
|
| |
"/liveVariableAnalysis:2"
|
| |
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
| |
building/execution of the program
|
| |
|
|
| |
that issue. <\Boogie>
|
| |
|
|
| |
(everything disabled).
|
| |
|
|
| |
Contracts checking is on, that should resolve once Core ports
|
| |
|
|
| |
on all ports once Core is ported. <\Isabelle> <\Boogie>
|
| | |
|
| | |
|
| |
|
|
| |
assembly signing information from AssemblyInfo.cs files (which since that was the only thing in BoogieDriver's assembly info, deleted that file). Now signing information is specified in the project files.
|
| | |
|
| |
|
|
| |
the required subfolders.
|
| | |
|
| | |
|
| |
|
|
| |
pants here.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
preparation for integrating my ported copies of that project. <\Isabelle> <\Boogie>
|
| |
|
|
|
|
|
| |
changes made to the .csproj and Boogie.sln file that are necessary for the port.
My Microsoft alias is t-abarbe, so if any of this stuff breaks for you, you can contact me.
</BoogieDriver> </Boogie>
|
tabarbe