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 /view:<view1, view2> option to filter module exports to be printed.
qunyanm
2016-02-11
*
Made /rewriteFocalPredicates:1 the default
Rustan Leino
2015-10-02
*
Hover text includes #[_k-1] suffix for terms rewritten in prefix predicates/l...
Rustan Leino
2015-10-02
*
fix for warnings related to deprecated z3 options (please update to the lates...
Michael Lowell Roberts
2015-09-22
*
Only print extraneous comments if asked.
Michael Lowell Roberts
2015-09-17
*
Look for z3 in Binaries/z3/bin (but keep the vendored version for convenience)
Clément Pit--Claudel
2015-08-27
*
Merge.
Clément Pit--Claudel
2015-08-19
|
\
*
|
Use a nice warning symbol in some warning messages
Clément Pit--Claudel
2015-08-18
|
*
Moved discovery of induction variables into a Rewriter.
leino
2015-08-11
|
/
*
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