index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
DafnyDriver
Commit message (
Expand
)
Author
Age
*
Now the parser parses "Type" rather than "IToken" for a trait
Reza Ahmadi
2014-11-05
*
Create large stack in DafnyDriver.cs, before calling main,
Bryan Parno
2014-10-28
*
Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...
Bryan Parno
2014-10-27
*
Minor change
wuestholz
2014-10-14
*
added trait feature:
Reza Ahmadi
2014-07-18
*
Worked on the more advanced verification result caching.
wuestholz
2014-07-10
*
Added support for verifying Dafny program snapshots from the command-line.
wuestholz
2014-07-01
*
Minor change due to change in Boogie
wuestholz
2014-06-28
*
Use the new pretty-printing functionality in Boogie. Disable with "/pretty:0"
Dan Rosén
2014-06-24
*
Fixed issues with absolute file names in the expected output for the lit tests.
wuestholz
2014-06-04
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
DafnyExtension: Made it display the compilation output in the VS output pane.
wuestholz
2014-04-21
*
Supply C# compiler switch /nowarn:0219, which suppresses any warning CS0219 a...
Rustan Leino
2014-01-13
*
Added /compile:3, which compiles in memory and then executes the program (if ...
Rustan Leino
2014-01-13
*
Add support for the /verifySeparately flag in Boogie and change most tests to...
wuestholz
2013-12-18
*
Fix build failures due to changes in Boogie.
wuestholz
2013-12-11
*
Fix some things due to changes in Boogie (execution engine API, 'UnivBackPred...
wuestholz
2013-12-09
*
Fixed build failures due to changes in Boogie.
wuestholz
2013-11-23
*
Fixed build failure due to changes in Boogie.
wuestholz
2013-10-28
*
DafnyExtension: Did some refactoring and worked towards integrating the Dafny...
wuestholz
2013-07-26
*
Did some refactoring of the interaction with the Boogie execution engine.
wuestholz
2013-07-10
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-24
*
Fixed a contract.
wuestholz
2013-06-20
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-19
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-19
*
Did some refactoring of the error reporting functionality.
wuestholz
2013-06-18
*
DafnyExtension: Cleaned up some references and disabled non-functional suppor...
wuestholz
2013-06-07
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-04
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-04
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Did some refactoring of the Dafny drivers.
wuestholz
2013-06-03
*
Changed the Dafny driver to report traces for time outs and out of memory.
wuestholz
2013-05-30
*
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., c...
wuestholz
2013-05-23
*
Minor change to a project file
wuestholz
2013-05-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Minor change to a project file
wuestholz
2013-05-21
*
Updated several project files.
wuestholz
2013-05-21
*
Suppress compiler warnings about unreferenced labels (I hope all .NET platfor...
Rustan Leino
2013-03-26
*
Added Equals method on Type
Rustan Leino
2013-02-20
[next]