Created Unassigned: Wrong z3.exe in .vsix [105]
In the 1.9.6 release packages, the _DafnyLanguageService.vsix_ file contains an old version of Z3 (and then Visual Studio extension will be using an old version of Z3). It is 4.4.0 while the _z3.exe_...
View ArticleSource code checked in, #acd708f1f966
Fixed compilation of equality between reference types
View ArticleCreated Unassigned: Remove a given element from a linked list [106]
I'm having many difficulties to design a method that removes a given element from a linked list satisfying the single specification given in: http://rise4fun.com/Dafny/QjozI think that it would see...
View ArticleEdited Unassigned: Remove a given element from a linked list [106]
I'm having many difficulties to design a method that removes a given element from a linked list satisfying the simple specification given in: http://rise4fun.com/Dafny/QjozI think that it would see...
View ArticleEdited Unassigned: Remove a given element from a linked list [106]
I'm having many difficulties to design a method that removes a given element from a linked list satisfying the simple specification given in: http://rise4fun.com/Dafny/QjozI think that it would be...
View ArticleEdited Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in advance
View ArticleCommented Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in...
View ArticleCommented Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in...
View ArticleCommented Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in...
View ArticleCommented Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in...
View ArticleClosed Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in advance
View ArticleEdited Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in advance
View ArticleClosed Unassigned: Feature request: Tuple-based assignment in statement...
When a function returns a tuple, it's very convenient to be able to assign the result directly to a tuple, as in the let expression in function bar below. It would be nice if that convenience was...
View ArticleSource code checked in, #674e4c1b25ff
Fix issue 94. Allow tuple-based assignment in statement contexts.
View ArticleCommented Issue: Assertion error. [5]
http://www.rise4fun.com/Dafny/03YRunning on Dafny 2.2.30705.1126.Comments: On both my machine (version 1.9.6) and currently on rise4fun this doesn't crash, and returns a useful error message. Can...
View ArticleNew Post: proving correctness of merge sort in dafny
I learnt dafny recently and I was trying to prove correctness for merge sort but I am facing errors related to loop invariants. Here is link to my dafny implementation - http://rise4fun.com/Dafny/JgOb....
View ArticleCommented Unassigned: Remove a given element from a linked list [106]
http://rise4fun.com/Dafny/SrBHIs it possible to give a Dafny-implementation for the method Remove that satisfies the given contract.I couldn't find something similar in the test suite.Thanks in...
View ArticleNew Post: Removing from a linked list
http://rise4fun.com/Dafny/SrBH Is it possible to give a Dafny-implementation for the method Remove that satisfies the given contract. I couldn't find something similar in the test suite. Thanks in advance
View Article