Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Give up on trying to set the console's input encoding to UTF8 | Clément Pit--Claudel | 2015-08-21 |
* | Cleanup a number of FIXMEs that I had left in the code | Clément Pit--Claudel | 2015-08-20 |
* | Use /tracePO instead of /trace in the server | Clément Pit--Claudel | 2015-08-19 |
* | Server: disable tracing when running tests, and fix an encoding issue. | Clément Pit--Claudel | 2015-08-18 |
* | Use a nice warning symbol in some warning messages | Clément Pit--Claudel | 2015-08-18 |
* | Add tests for the server | Clément Pit--Claudel | 2015-07-31 |
* | Split the server source into multiple files | Clément Pit--Claudel | 2015-07-31 |
* | Fix an issue where the server would reverify the same file multiple times. | Clément Pit--Claudel | 2015-07-30 |
* | Implement a Dafny server. | Clément Pit--Claudel | 2015-07-30 |