index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Iterators.dfy
Commit message (
Expand
)
Author
Age
*
Language change: All functions and methods declared lexically outside any cla...
leino
2014-12-12
*
Set up the same test infrastructure as in Boogie.
wuestholz
2014-05-29
*
Set up call-graph to keep track of edges between functions and methods. (To ...
Rustan Leino
2013-08-04
*
Renamed "parallel" statement to "forall" statement, and made the parentheses ...
Rustan Leino
2013-03-06
*
Support default (which, here, means nameless) class-instance constructors
Rustan Leino
2012-10-05
*
Dafny: complete implementation of iterators
Rustan Leino
2012-10-03
*
Dafny: automatically update iterator _new field upon allocations
Rustan Leino
2012-10-03
*
Dafny: good error locations for yield statements; other iterator improvements...
Rustan Leino
2012-10-03
*
Dafny: more part of verifying iterators
Rustan Leino
2012-10-03
*
Dafny: changed iterator body to resolve to implicit fields rather than to the...
Rustan Leino
2012-10-02
*
Dafny: incomplete snapshot of verification of iterators
Rustan Leino
2012-10-02
*
Dafny: compile iterators
Rustan Leino
2012-09-26