| Commit message (Collapse) | Author | Age |
|
|
|
| |
Currently builds only in VS 2012. To build in VS 2013, change MinimumVisualStudioVersion from 11.0 to 12.0 in these two .csproj files.
|
|
|
|
| |
'UnivBackPred2.smt2' no longer needed).
|
| |
|
| |
|
|
|
|
| |
be updated separately in the vsixmanifests).
|
| |
|
|
|
|
| |
Dafny menu more tightly.
|
| |
|
| |
|
| |
|
|
|
|
| |
support for VS 2010.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
compilation).
|
|
|
|
|
| |
Note that the 'boogie' directory is expected to be a sibling of the
'dafny' directory.
|
|\ |
|
| |
| |
| |
| | |
Batch file for producing a binary distributions
|
|/
|
|
|
| |
Remove some duplicated hover text in DafnyExtension
Enable Code Contracts in the build
|
|
|
|
| |
will be placed in the DafnyExtension install directory, which can be useful if one wants to manually run whatever version is used by VS
|
| |
|
| |
|
|
|