summaryrefslogtreecommitdiff
path: root/Source/DafnyServer
Commit message (Expand)AuthorAge
* Make /autoTriggers:1 to be default. Add /autoTriggers:0 to tests that requiresGravatar qunyanm2016-03-28
* Fix the build.Gravatar wuestholz2015-09-29
* Align the server's default kill time with the one of the VS extensionGravatar Clément Pit--Claudel2015-08-28
* Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)Gravatar Clément Pit--Claudel2015-08-27
* Give up on trying to set the console's input encoding to UTF8Gravatar Clément Pit--Claudel2015-08-21
* Cleanup a number of FIXMEs that I had left in the codeGravatar Clément Pit--Claudel2015-08-20
* Use /tracePO instead of /trace in the serverGravatar Clément Pit--Claudel2015-08-19
* server: always print tooltipsGravatar Clément Pit--Claudel2015-08-19
* Merge.Gravatar Clément Pit--Claudel2015-08-19
|\
* | Server: disable tracing when running tests, and fix an encoding issue.Gravatar Clément Pit--Claudel2015-08-18
* | Use a nice warning symbol in some warning messagesGravatar Clément Pit--Claudel2015-08-18
* | Refactor the error reporting codeGravatar Clément Pit--Claudel2015-08-18
* | server: Add a Checked configurationGravatar Clément Pit--Claudel2015-08-14
| * Add a UniqueIdPrefix in the server and bump up the prover kill timeGravatar Clément Pit--Claudel2015-08-13
|/
* Integrate the DafnyServer project into the main Dafny solutionGravatar Clément Pit--Claudel2015-07-31
* Add tests for the serverGravatar Clément Pit--Claudel2015-07-31
* Split the server source into multiple filesGravatar Clément Pit--Claudel2015-07-31
* Fix an issue where the server would reverify the same file multiple times.Gravatar Clément Pit--Claudel2015-07-30
* Implement a Dafny server.Gravatar Clément Pit--Claudel2015-07-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 03:49:11 +0000