Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix the build. | 2015-09-29 | |
* | server: Add a Checked configuration | 2015-08-14 | |
* | Integrate the DafnyServer project into the main Dafny solution | 2015-07-31 | |
* | Split the server source into multiple files | 2015-07-31 | |
* | Implement a Dafny server. | 2015-07-30 |