index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Dafny: Added detection and support for tail recursive calls (and an optional...
Unknown
2012-09-07
*
DafnyExtension: new color (violet) for buffer snapshot sent to the verifier
Unknown
2012-09-07
*
Dafny: fixed typo in latex mode
Unknown
2012-09-05
*
DafnyExtension: don't duplicate names of inherited identifiers
Unknown
2012-08-30
*
Dafny: for refinements, don't consider a newly provided predicate body to be ...
Unknown
2012-08-30
*
DafnyExtension: changed how "_" is displayed (now display as a keyword, not a...
Unknown
2012-08-30
*
Dafny: allow "_" as don't-care variable name
Unknown
2012-08-30
*
Dafny: fixed bug in checking postconditions of functions that mention the res...
Unknown
2012-08-29
*
DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component)
Unknown
2012-08-29
*
Dafny: fixed contract violation in parser (for non-parsing Lhs production)
Unknown
2012-08-29
*
DafnyExtension: don't reverify a buffer with no changes
Rustan Leino
2012-08-27
*
Dafny: fixed contract bug in resolver
Rustan Leino
2012-08-27
*
DafnyExtensions: better error handling
Rustan Leino
2012-08-21
*
Dafny and Boogie: get rid of 'static' fields in parser
Rustan Leino
2012-08-21
*
DafnyExtension: fixed bad merge
Rustan Leino
2012-08-17
*
Merge
Rustan Leino
2012-08-17
|
\
*
|
DafnyExtension: improved concurrency behavior
Unknown
2012-08-17
|
*
DafnyExtension: report out-of-time and out-of-memory errors
Rustan Leino
2012-08-17
|
/
*
DafnyExtension: toward some fixes
Unknown
2012-08-17
*
DafnyExtension: simplified display of type names and field names
Unknown
2012-08-17
*
DafnyExtension: various improvements
Unknown
2012-08-16
*
DafnyExtension: improvements
Rustan Leino
2012-08-15
*
DafnyExtension: do verification in a non-UI thread
Rustan Leino
2012-08-15
*
DafnyExtension: fixed more missing cases for hover texts
Unknown
2012-08-15
*
Dafny: fixed some bugs in the newly added DafnyExtension code
Unknown
2012-08-15
*
Dafny: added Statement.SubExpressions getter
Unknown
2012-08-15
*
Dafny: added Statement.SubExpressions getter
Unknown
2012-08-15
*
Dafny: removed the defunct "havoc" keyword from various source-code highlighters
Unknown
2012-08-15
*
Dafny emacs mode: changed a menu name (Does anyone ever use this menu anyhow?)
Unknown
2012-08-14
*
Dafny: two bug fixes (resolution crashing on bad input, DafnyExtension crashi...
Unknown
2012-08-14
*
Dafny: internal renaming
Unknown
2012-08-10
*
Dafny: added heuristics for finding witnesses in assign-such-that checking
Unknown
2012-08-10
*
DafnyExtension: hide execution-trace output, show split-expr related error l...
Rustan Leino
2012-08-10
*
Dafny: added MonotonicHeapstate refinement example
Unknown
2012-08-09
*
Dafny: fixed parser crash
Unknown
2012-08-09
*
DafnyExtension: improvements
Rustan Leino
2012-08-08
*
DafnyExtension: fixed build issues; added support for some refinement features
Rustan Leino
2012-08-08
*
Merge
Unknown
2012-08-08
|
\
*
|
Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and v...
Unknown
2012-08-08
|
*
Dafny: corrected comment
Jason Koenig
2012-08-03
*
|
Merge
Unknown
2012-08-02
|
\
|
*
|
Dafny VS Extension: edited to make it build with new AST types, fixed some bu...
Unknown
2012-08-02
|
*
Dafny: fixed bug in reverifying allowing old locals to be modified.
Jason Koenig
2012-08-01
|
*
Dafny: reverify if the refining method modifies the heap.
Jason Koenig
2012-08-01
|
*
Dafny: fixed bug where expressions were not replaced.
Jason Koenig
2012-08-01
|
/
*
Dafny: support opening modules into the local scope
Jason Koenig
2012-07-30
*
Dafny: removed allocated keyword, changed module import syntax. "opened" keyw...
Jason Koenig
2012-07-30
*
Dafny: updated test suite to new syntax
Jason Koenig
2012-07-30
*
Dafny: removed allocated, changed semantics of fresh
Jason Koenig
2012-07-29
*
Dafny: added structural refinement check
Jason Koenig
2012-07-29
[next]