summaryrefslogtreecommitdiff
path: root/Test/dafny1/KatzManna.dfy
Commit message (Expand)AuthorAge
* Beefed up loop invariant to prove a functional postcondition in a test case.Gravatar Rustan Leino2012-11-24
* Test/dafny1/KatzManna.dfy: Changed mocked up matrix class to use Dafny's bui...Gravatar rustanleino2010-10-27
* Dafny:Gravatar rustanleino2010-06-24