summaryrefslogtreecommitdiff
path: root/Source/DafnyDriver
Commit message (Expand)AuthorAge
* Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)Gravatar Clément Pit--Claudel2015-08-27
* Refactor the error reporting codeGravatar Clément Pit--Claudel2015-08-18
* Fix: Unify column numbers in Dafny's errorsGravatar Clément Pit--Claudel2015-07-23
* Add code to calculate various interesting statistics about Dafny files.Gravatar Bryan Parno2015-07-01
* System.Collections.Immutable.dll is now stored in the Binaries directory and ...Gravatar Michael Lowell Roberts2015-06-16
* added -optimize option to compiler.Gravatar Michael Lowell Roberts2015-06-12
* Fix the UseBaseNameForFileName flag; it shouldn't set the return code to zero.Gravatar Clément Pit--Claudel2015-06-07
* MergeGravatar leino2015-01-03
|\
| * Minor changeGravatar wuestholz2014-12-26
* | Fixed bug in /compile:3, when Main is explicitly given as a static methodGravatar leino2014-12-12
|/
* Now the parser parses "Type" rather than "IToken" for a traitGravatar Reza Ahmadi2014-11-05
* Create large stack in DafnyDriver.cs, before calling main,Gravatar Bryan Parno2014-10-28
* Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...Gravatar Bryan Parno2014-10-27
* Minor changeGravatar wuestholz2014-10-14
* added trait feature:Gravatar Reza Ahmadi2014-07-18
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Added support for verifying Dafny program snapshots from the command-line.Gravatar wuestholz2014-07-01
* Minor change due to change in BoogieGravatar wuestholz2014-06-28
* Use the new pretty-printing functionality in Boogie. Disable with "/pretty:0"Gravatar Dan Rosén2014-06-24
* Fixed issues with absolute file names in the expected output for the lit tests.Gravatar wuestholz2014-06-04
* Set up the same test infrastructure as in Boogie.Gravatar wuestholz2014-05-29
* DafnyExtension: Made it display the compilation output in the VS output pane.Gravatar wuestholz2014-04-21
* Supply C# compiler switch /nowarn:0219, which suppresses any warning CS0219 a...Gravatar Rustan Leino2014-01-13
* Added /compile:3, which compiles in memory and then executes the program (if ...Gravatar Rustan Leino2014-01-13
* Add support for the /verifySeparately flag in Boogie and change most tests to...Gravatar wuestholz2013-12-18
* Fix build failures due to changes in Boogie.Gravatar wuestholz2013-12-11
* Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...Gravatar wuestholz2013-12-09
* Fixed build failures due to changes in Boogie.Gravatar wuestholz2013-11-23
* Fixed build failure due to changes in Boogie.Gravatar wuestholz2013-10-28
* DafnyExtension: Did some refactoring and worked towards integrating the Dafny...Gravatar wuestholz2013-07-26
* Did some refactoring of the interaction with the Boogie execution engine.Gravatar wuestholz2013-07-10
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-24
* Fixed a contract.Gravatar wuestholz2013-06-20
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-19
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-19
* Did some refactoring of the error reporting functionality.Gravatar wuestholz2013-06-18
* DafnyExtension: Cleaned up some references and disabled non-functional suppor...Gravatar wuestholz2013-06-07
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-04
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-04
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03
* Did some refactoring of the Dafny drivers.Gravatar wuestholz2013-06-03