index
:
debian-dafny
master
Debian packaging for Dafny
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Test
/
dafny0
/
Corecursion.dfy
Commit message (
Expand
)
Author
Age
*
Stop pretty-print from emitting deprecated semi-colons.
qunyanm
2015-03-05
*
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
*
Added further assistance in coming up with decreases clauses in SCCs with co-...
Rustan Leino
2014-02-24
*
Refactored code for dealing with SCCs in the call graph.
Rustan Leino
2014-02-24
*
Introduced keywords "lemma" (like a "ghost method", but not allowed to have a...
Rustan Leino
2013-08-02
*
Co-recursion, now sounder than ever!
Rustan Leino
2013-07-30
*
Fixed soundness bug with co-recursive calls: co-recursive calls may now no l...
Rustan Leino
2013-06-29
*
Fixed unsoundness (and also allowed other, sound cases) in the admissability ...
Rustan Leino
2013-06-28
*
changed default decreases clause for functions with a reads clause: use the r...
Rustan Leino
2012-10-04
*
Dafny: more correct checking of co-inductive productivity
Unknown
2012-05-18
*
Dafny: added support for co-recursive calls
Rustan Leino
2012-05-01