index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Source
/
Dafny
/
DafnyOptions.cs
Commit message (
Expand
)
Author
Age
*
Minor change due to a change in Boogie
wuestholz
2015-01-13
*
Added command-line switch /allowGlobals to simplify transition from language ...
leino
2015-01-07
*
Add a DafnyCC option that disables some of Dafny's cleverness to better match...
Bryan Parno
2014-10-27
*
Add support for counting spec/impl/proof lines by supressing, e.g., ghost sta...
Bryan Parno
2014-10-27
*
Add an option to allow automatically generated requirements to be printed
Bryan Parno
2014-10-27
*
Add an option to use reduce Z3's knowledge of non-linear arithmetic.
Bryan Parno
2014-10-24
*
Added /compile:3, which compiles in memory and then executes the program (if ...
Rustan Leino
2014-01-13
*
Produce "tail recursive" hover text in the IDE only for methods that are recu...
Rustan Leino
2013-12-13
*
Add a command-line option to disable include directives.
Bryan Parno
2013-12-13
*
Fixed printing of Dafny version number.
Rustan Leino
2013-01-23
*
Put all sources under \Source directory
Rustan Leino
2012-10-04