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
*
Add a Linux z3 binary to the repo, and use that or z3.exe based on the OS
Clément Pit--Claudel
2015-07-31
*
Merge my autoTriggers work into the master branch
Clément Pit--Claudel
2015-07-17
|
\
*
|
Clean up a few thing and set proper defaults before merging
Clément Pit--Claudel
2015-07-16
*
|
Add /printTooltips and /autoTriggers to the CLI
Clément Pit--Claudel
2015-07-13
|
*
[IronDafny] implemented workaround for "import opened" bug(s).
Michael Lowell Roberts
2015-07-13
|
*
Added command-line option /warnShadowing, which emits warnings if variables s...
Rustan Leino
2015-07-02
|
*
Add code to calculate various interesting statistics about Dafny files.
Bryan Parno
2015-07-01
|
/
*
added -optimize option to compiler.
Michael Lowell Roberts
2015-06-12
*
Fix the UseBaseNameForFileName flag; it shouldn't set the return code to zero.
Clément Pit--Claudel
2015-06-07
*
Changed version to 1.9.3.20406 and updated copyright year to include 2015.
leino
2015-04-06
*
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