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